计算机语言的发展资料教材.pptVIP

第 5 课 计算机语言的发展 /1975731184/infocenter#!app=2via=QZ.HashRefreshpos=1366384958 主要内容 5.1 形式语言 5.2 计算机语言的发展 5.1 形式语言 计算机语言是一种形式化语言 为什么要用形式化语言？ 形式语言是以数学和数理逻辑为基础的科学语言，其语言符号具有单一性、无歧义性和明确性特点 自然语言具有歧义性，其语法结构不够严格、不够统一 自然语言是某一社会发展中形成的一种民族语言 要用计算机对语言进行处理，则必须解决语言的歧义性问题 自然语言的歧义性实例 例：他的发理得好。 这个例子至少有两种不同的解释： 他的理发水平高。 理发师理他的发理得好。 形式语言的基本特点 有一组初始的、专门的符号。 有一组精确定义的符号串转换规则（即形式语言语法）。 形式语言语法中不包含语义。 在一个给定的形式语言中，可以根据需要，通过赋值或模型对其进行严格的语义解释，从而构成形式语言的语义 在形式语言中，不允许出现根据形成规则无法确定的符号串 形式语言实例 例：语言W定义为： 初始符号集：{a，b，c，d，e}。 形成规则：上述符号组成的有限符号串中，能组成一英语单词的为一公式；否则不是。 问：W是否为一形式语言？ 答：不是，因为根据形成规则，无法精确地定义转换规则。原因：形成规则（语法）中包含了语义。 形式语言实例