计算机语言的发展.pptVIP

第1页，共29页，星期日，2025年，2月5日主要内容5.1形式语言5.2计算机语言的发展*第2页，共29页，星期日，2025年，2月5日5.1形式语言计算机语言是一种形式化语言为什么要用形式化语言？形式语言是以数学和数理逻辑为基础的科学语言，其语言符号具有单一性、无歧义性和明确性特点自然语言具有歧义性，其语法结构不够严格、不够统一自然语言是某一社会发展中形成的一种民族语言要用计算机对语言进行处理，则必须解决语言的歧义性问题*第3页，共29页，星期日，2025年，2月5日自然语言的歧义性实例例：他的发理得好。这个例子至少有两种不同的解释：他的理发水平高。理发师理他的发理得好。*第4页，共29页，星期日，2025年，2月5日形式语言的基本特点有一组初始的、专门的符号。有一组精确定义的符号串转换规则（即形式语言语法）。形式语言语法中不包含语义。在一个给定的形式语言中，可以根据需要，通过赋值或模型对其进行严格的语义解释，从而构成形式语言的语义在形式语言中，不允许出现根据形成规则无法确定的符号串*第5页，共29页，星期日，2025年，2月5日形式语言实例例：语言W定义为：初始符号集：{a，b，c，d，e}。形成规则：上述符号组成的有限符号串中，能组成一英语单词的为一公式；否则不是。问：W是否为一形式语言？答：不是，因为根据形成规则，无法精确地定义转换规则。原因：形成规则（语法）中包含了语义。*第6页，共29页，星期日，2025年，2月5日形式语言实例例：语言W定义为：初始符号集：{a，b，c，d，e，(，)，+，?，×，÷}。形成规则：上述符号组成的有限符号串中，能组成表达式的为一公式；否则不是。问：W是否为一形式语言？答：不是，因为根据形成规则，无法精确地定义转换规则。原因：形成规则（语法）中包含了语义*第7页，共29页，星期日，2025年，2月5日形式语言实例例：语言W定义为：初始符号集：{a，b，c，d，e，(，)，+，?，×，÷}。形成规则：上述符号组成的有限符号串中，凡以符号“(”开头且以“)”结尾的符号串为一公式。问：W是否为一形式语言？答：不是，因为根据形成规则，无法对不是以符号“(”开头且以“)”结尾的符号串进行判定。例如，(a+b)×c。*第8页，共29页，星期日，2025年，2月5日形式语言实例例：语言W定义为：初始符号集：{a，b，c，d，e，(，)，+，?，×，÷}。形成规则：上述符号组成的有限符号串中，凡以符号“(”开头且以“)”结尾的符号串为一公式；否则不是。问：W是否为一形式语言？答：是。*第9页，共29页，星期日，2025年，2月5日5.2计算机语言的发展计算机语言经历了从机器语言、汇编语言、高级语言、应用语言到自然语言的发展阶段。*第10页，共29页，星期日，2025年，2月5日算法的机器语言描述例如：用机器指令对“2+6”进行计算的算法描述 1011000000000110//将“6”送到寄存器AL中，数字“6”放在指令后八位 0000010000000010//将数“2”与寄存器AL中的内容相加，结果仍存在AL中101000100101000000000000//把AL中的内容送到地址为5的单元中*第11页，共29页，星期日，2025年，2月5日算法的汇编语言描述例如：用汇编语言对“2+6”进行计算的算法描述 MOVAL，6 ADDAL，2 MOVVC，AL汇编语言语句与特定的机器指令有一一对应的关系，经汇编程序（汇编语言用户的虚拟机）翻译为机器指令后才能运行*第12页，共29页，星期日，2025年，2月5日算法的高级语言描述例如：用高级语言对“2+6”进行计算的算法描述 2+6高级语言的语句与特定机器的指令无关高级语言程序经编译程序（高级语言用户的虚拟机）翻译成汇编语言，然后经汇编程序（汇编语言用户的虚拟机）翻译为机器指令后才能运行*第13页，共29页，星期日，2025年，2月5日算法的应用语言描述用应用语言编程，用户只需告知系统“做什么”，而无需说明“怎么做”如：SQL这类语言提供了功能强大的非过程化问题定义手段用应用语言编写的程序一般经应用程序包（应用语言用户的虚拟机）翻译成高级语言程序后，再逐级向下实现*第14页，共29页，星期日，2025年，2月5日基于虚拟机的计算机层次结构*第15页，共29页，星期日，2025年，2月5日基于虚拟机的计算机层次结构*第16页，共29页，星期日，2025年，2月5日自然语言的计算机处理自然语言的计算机