编译原理第二讲探究.pptx

形式语言及其文法;2.1 语言概述 2.2 基本定义 2.3 文法 2.4 推导 2.5 文法的分类 2.6 文法的构造;2.1 语言概述;2.1 语言概述;形式语言与自动机理论的关系;形式语言与自动机理论的关系;形式语言与自动机理论的关系;2.1语言概述;2.1 语言概述;2.1 语言概述;2.2 基本定义;2.2 基本定义;2.2 基本定义;2.2 基本定义;2.2 基本定义;2.2 基本定义;2.2 基本定义;2.2 基本定义;2.3 文法;考虑一个句子——文法要素的提取;?句子?? ?主语? ?谓语? （1） ?主语?? ?冠词? ?形容词? ?名词? （2） ?冠词??the （3） ?形容词? ? grey （4） ?谓语? ? ? 动词? ?直接宾语? （5） ?动词? ? ?情态动词? ?动词原形? （6） ?情态动词? ?will （7） ?动词原形? ?eat （8） ?直接宾语? ? ? 冠词? ?名词? （9） ?名词? ?wolf （10） ?名词? ?goat （11）; 终结符号集VT = {the，grey, wolf,will, eat, goat} 非终结符号集VN = { ?句子?，?主语?， ?谓语?，?冠词?， ?形容词?，?名词? ， ? 动词? ，?直接宾语? ，?助动词? ，?动词原形? } 语法规则集P = {?句子?? ?主语? ?谓语?， ……} 开始符号S = ?句子?; ?句子? ? ?主语? ?谓语? ? ?冠词? ?形容词? ?名词? ?谓语? ? the ?形容词? ?名词? ?谓语? ? the grey?名词? ?谓语? ? the grey wolf ?谓语? ? the grey wolf ? 动词? ?直接宾语? ? …... ? the grey wolf will eat the goat;?句子? the grey wolf will eat the goat the grey wolf will eat the wolf the grey goat will eat the wolf the grey goat will eat the grey 符合语法且符合语义的句子仅是： the grey wolf will eat the goat;文法G 的形式定义;文法G 的形式定义;产生式的简写;例2-1 算术表达式的文法;推导举例;最左推导与最右推导;id+id*id的不同推导;直接推导;（多步）推导;递归;句型与句子;文法G产生的语言;2.４ 文法的分类(Chomsky体系);上下文有关文法(CSG);上下文无关文法(CFG);例2-3 标识符的文法2;正则文法(RG);例 非CFL的文法;?在我们使用的程序设计语言中,有些语言结构不能用上下文无关文法来描述。 例2.4 L1={wcw|w∈{a,b}+}。例,aabcaab就是L1的一个句子。这个语言是检查程序中标识符的声明应先于引用的抽象。 ?例2.5 L2={anbmcndm|n,m≥0}，它是检查过程声明的形参个数和过程引用的参数个数是否一致问题的抽象。;Chomsky体系——总结;文法的类型;ＢＮＦ范式——Backus-Naur Form Backus-Normal Form;ＢＮＦ范式——Backus Normal Form;例2-6 句子结构的表示 (文法E→E+E|E*E|(E)|id ）;2.5 CFG的分析树;E;二义性文法与先天二义性语言; 1. 描述一个句子的