计算机语言的发展ppt课件

1、第 5 课 计算机言语的开展user.qzone./1975731184/infocenter#!app=2&via=QZ.HashRefresh&pos=63849580.主要内容5.1 方式言语5.2 计算机言语的开展1.5.1 方式言语计算机言语是一种方式化言语为什么要用方式化言语？方式言语是以数学和数理逻辑为根底的科学言语，其言语符号具有单一性、无歧义性和明确性特点自然言语具有歧义性，其语法构造不够严厉、不够一致自然言语是某一社会开展中构成的一种民族言语要用计算机对言语进展处置，那么必需处理言语的歧义性问题2.自然言语的歧义性实例例：他的发理得好。这个例子至少有两种不同的解释：他的理发

2、程度高。理发师理他的发理得好。3.方式言语的根本特点有一组初始的、专门的符号。有一组准确定义的符号串转换规那么即方式言语语法。方式言语语法中不包含语义。在一个给定的方式言语中，可以根据需求，经过赋值或模型对其进展严厉的语义解释，从而构成方式言语的语义在方式言语中，不允许出现根据构成规那么无法确定的符号串4.方式言语实例例：言语W定义为：初始符号集：a，b，c，d，e。构成规那么：上述符号组成的有限符号串中，能组成一英语单词的为一公式；否那么不是。 问：W能否为一方式言语？答：不是，由于根据构成规那么，无法准确地定义转换规那么。缘由：构成规那么语法中包含了语义。5.方式言语实例例：言语W定义为：

3、初始符号集：a，b，c，d，e，(，)，+，。构成规那么：上述符号组成的有限符号串中，能组成表达式的为一公式；否那么不是。 问：W能否为一方式言语？答：不是，由于根据构成规那么，无法准确地定义转换规那么。缘由：构成规那么语法中包含了语义6.方式言语实例例：言语W定义为：初始符号集：a，b，c，d，e，(，)，+，。构成规那么：上述符号组成的有限符号串中，凡以符号“(开头且以“)结尾的符号串为一公式。 问：W能否为一方式言语？答：不是，由于根据构成规那么，无法对不是以符号“(开头且以“)结尾的符号串进展断定。例如，(a+b)c。7.方式言语实例例：言语W定义为：初始符号集：a，b，c，d，e，(

4、，)，+，。构成规那么：上述符号组成的有限符号串中，凡以符号“(开头且以“)结尾的符号串为一公式；否那么不是。 问：W能否为一方式言语？答：是。8.5.2 计算机言语的开展计算机言语阅历了从机器言语、汇编言语、高级言语、运用言语到自然言语的开展阶段。9.算法的机器言语描画例如：用机器指令对“2+6进展计算的算法描画1011000000000110 /将“6送到存放器AL中，数字“6放在指令后八位0000010000000010 / 将数“2与存放器AL中的内容相加，结果仍存在AL中101000100101000000000000 / 把AL中的内容送到地址为5的单元中10.算法的汇编言语描画例

5、如：用汇编言语对“2+6进展计算的算法描画MOV AL，6ADD AL，2MOV VC，AL汇编言语语句与特定的机器指令有一一对应的关系，经汇编程序汇编言语用户的虚拟机翻译为机器指令后才干运转11.算法的高级言语描画例如：用高级言语对“2+6进展计算的算法描画2+6高级言语的语句与特定机器的指令无关高级言语程序经编译程序高级言语用户的虚拟机翻译成汇编言语，然后经汇编程序汇编言语用户的虚拟机翻译为机器指令后才干运转12.算法的运用言语描画用运用言语编程，用户只需告知系统“做什么，而无需阐明“怎样做如：SQL这类言语提供了功能强大的非过程化问题定义手段用运用言语编写的程序普通经运用程序包运用言语用

6、户的虚拟机翻译成高级言语程序后，再逐级向下实现13.基于虚拟机的计算机层次构造14.基于虚拟机的计算机层次构造15.自然言语的计算机处置自然言语的计算机处置可以分为以下四个层次：第一层次是文字和语音，即根本言语信息的构成 ；第二层次是语法，即言语的形状构造；第三层次是语义，即言语与它所指的对象之间的关系；第四层次是语用，即言语与它的运用者之间的关系。目前，自然言语的输入问题已根本处理。要使计算机对自然言语进展处置，关键是要处理自然言语语法和语义的方式化问题。16.自然言语的方式化问题自然言语能否方式化？人具有发明和了解正确句子的才干。这种言语“发明性过程，其实就是由有限数量的词，根据一定的规那

7、么产生正确句子的过程。进一步而言，其本质也就是一个字符串到另一个字符串的变换过程。显然，言语“发明性过程的本质与计算过程的本质是一致的。因此，可以将自然言语也看作是一种计算，从而自然言语能否实现方式化的争论也就不存在了。17.自然言语的方式化方法自然言语的方式语法可表示为：G0=，其中，Vn为非终结符号的有限集合；Vt为终结符号的有限集合；P0为生成式或称产生式的有限集合，即方式规那么；S为开场符号18.自然言语的方式化实例设自然言语的方式语法中，Vn=S，NP，VP，N，V，Vt=我，他，学，教，英语，汉语，希望，P0=SNP VP，NP N，VP V NP，VP V S，N 我，N 他，V

8、 学，V 教，V 希望，N 英语，N 汉语 ，其中，S表示句子；NP表示名词短语VP表示动词短语N表示名词V表示动词S NP VP表示句子由名词短语和动词短语组成 NP N表示名词短语由名词构成19.句子的派生过程举例20.相关图灵奖获得者约翰巴克斯1977年图灵奖获得者，FORTRAN和BNF的发明者肯尼思艾弗森1979年图灵奖获得者，大器晚成的科学家，APL的发明人查尔斯霍尔1980年图灵奖获得者，从QUICKSORT、CASE到程序设计言语的公理化21.相关图灵奖获得者罗宾米尔纳1991年图灵奖狄得者，规范元言语ML的开发者彼得诺尔2005年图灵奖获得者，从天文学家到计算机科学家，BNF改良家弗朗西丝爱伦2006年图灵奖获得者，编译器优化实际与实际的先驱22.罗宾米尔纳1934?23.彼得诺尔1928?24.弗朗西丝爱伦1932?25.讨论计算机开展趋势是什么？巨型化、微型化、