编译技术原理及方法-形式语言的基本知识.pptxVIP

编译原理第二章 形式语言的基本知识2-1什么是形式语言2-2字母表和符号串的基本概念2-3用文法产生法描述语言 2.3.1通过文法产生语言的方式 2.3.2为已知的语言构造相应的文法2-4句型分析 2.4.1短语和简单短语 2.4.2文法的二义性和语言的二义性2-5文法和语言的分类2-6文法的其他表示方法2-7C--语言的形式定义2-8小结2-1什么是形式语言2-2字母表和符号串的基本概念2-3用文法产生法描述语言 2.3.1通过文法产生语言的方式 2.3.2为已知的语言构造相应的文法2-4句型分析 2.4.1短语和简单短语 2.4.2文法的二义性和语言的二义性2-5文法和语言的分类2-6文法的其他表示方法2-7C--语言的形式定义2-8小结2-1什么是形式语言一、形式语言的提出目标程序源程序编译程序如何确切地描述或定义高级程序设计语言????形式语言2-1什么是形式语言一、形式语言的提出 形式语言是研究符号的语言，它仅考虑符号间的关系，不考虑含义。即用数学方法（主要是代数方法）对语言进行形式化描述。 从非形式化的角度来讲，语言是人们交流思想的工具，从语言学本身来说，也是一门古老的科学，在很早以前人们就用数学方法开始对语言学进行研究。 1847年，俄国数学家布拉库夫斯基就用概率论进行语法词源及语言历史比较研究。 1904年，波兰语言学家指出，语言学家不仅要掌握初等数学而且还要掌握高等数学。 1931年，俄国数学家就用概率论研究俄语元音字母和辅音字母序列。 特别是1946年电子计算机问世以来更加促使数学和语言学结合研究。 2-1什么是形式语言一、形式语言的提出 1956年，28岁的N. Chomsky（乔姆斯基）在《信息论杂志》上发表了《语言描写的三个模型》，他首次采用Markov模型来描写自然语言，对于有限状态模型、短语结构模型和转换模型等三个模型，从语言学和数学的角度进行了理论上的分析，建立了形式语言理论，具有划时代意义。2-1什么是形式语言一、形式语言的提出 乔姆斯基将语言形式地定义为由一个字母表的字母组成的一些串的集合。对于任意一个语言，有一个字母表，可以在字母表上按照一定的形成规则定义一个文法，这个文法所产生的所有句子组成的集合就是这个文法所产生的语言。 例如：“我爱你”这条句子如何产生呢？ 我们可以这样定义产生这条句子的规则： 〈语句〉∷=〈主语〉〈谓语〉〈宾语〉 〈主语〉::= 我| 你 〈谓语〉::= 爱| 恨 〈宾语〉::= 他| 你巴科斯-诺尔范式（Backus Normal Form，简称为巴科斯范式，简记为BNF范式）2-1什么是形式语言一、形式语言的提出约翰·巴克斯（John.WarnerBackus）1977年图灵奖获得者彼得·诺尔（Peter Naur） 2005年图灵奖获得者2-1什么是形式语言二、形式语言初探〈语句〉∷=〈主语〉〈谓语〉〈宾语〉 〈主语〉::= 我| 你 〈谓语〉::= 爱| 恨 〈宾语〉::= 他| 你 在刚才的例子中，我们看到了使用巴科斯范式描述产生句子的规则。 我们—— 以“ ∷= ”符号（或“ →”符号）表示“定义为”； 以“ | ”符号表示“或”，表示可选项； 以“〈 〉”符号表示语法实体（语法单位）。 2-1什么是形式语言二、形式语言初探 那么：“我爱你”这条句子如何产生呢？〈语句〉∷=〈主语〉〈谓语〉〈宾语〉 〈主语〉::= 我| 你 〈谓语〉::= 爱| 恨 〈宾语〉::= 他| 你〈语句〉?〈主语〉〈谓语〉〈宾语〉?+我爱你2-1什么是形式语言二、形式语言初探 〈语句〉∷=〈主语〉〈谓语〉〈宾语〉 〈主语〉::= 我| 你 〈谓语〉::= 爱| 恨 〈宾语〉::= 他| 你 〈语句〉?〈主语〉〈谓语〉〈宾语〉?+我爱你〈语句〉?〈主语〉〈谓语〉〈宾语〉?+我恨你〈语句〉?〈主语〉〈谓语〉〈宾语〉?+我爱他〈语句〉?〈主语〉〈谓语〉〈宾语〉?+我很他〈语句〉?〈主语〉〈谓语〉〈宾语〉?+你爱他〈语句〉?〈主语〉〈谓语〉〈宾语〉?+你很他〈语句〉?〈主语〉〈谓语〉〈宾语〉?+你爱你〈语句〉?〈主语〉〈谓语〉〈宾语〉?+你很你输入文件存储 控制部件输出2-1什么是形式语言三、形式语言与自动机理论诞生 1951-1956年期间，美国数学家Kleene（克林）在研究神经细胞时建立了自动机模型，使用该模型来识别一个语言。2-1什么是形式语言三、形式语言与自动机理论诞生 乔姆斯基1959将形式语言的研究成果和自动机的研究成果结合。自动机识别法：用自动机对语言中的句子进行识别，自动机是描述离散变量的一个系统（数学模型），在形式语言中称为识别器，也可看成是一个识别程序。文法生成法：就是用有限个规则来产生出语言中无限个句子，这种规则集合称文法。 形式语言与自