编译原理 第3讲(第三章).课件.pptVIP

第三章 文法和语言 文法的类型 1型文法 2型文法 3型文法 文法的类型关系 文法和语言 文法和语言 根据形式语言理论,文法和识别系统间有这样的关系 图灵机 上下文无关文法及其语法树 句型推导的例子 规范推导与规范句型 语法树 上下文无关文法的语法树 语法树---句型推导的直观表示 例子 例：G‘[E]: E → i E → E+E E → E*E E → (E) 二义文法 文法的二义性和语言的二义性 文法的二义性和语言的二义性是两个不同的概念。因为可能有两个不同的文法G和G′，其中G是二义的，但是却有L(G)=L(G′)，也就是说，这两个文法所产生的语言是相同的。 二义文法改造为无二义文法 G‘[E]:E → i G[E]： E → T|E+T E → E+E T → F|T*F E → E*E F → （E）|i E → (E) 规定算符优先性和结合性 如果产生上下文无关语言的每一个文法都是二义的，则说此语言是先天二义的。对于一个程序设计语言来说，常常希望它的文法是无二义的，因为希望对它的每个语句的分析是唯一的。 * * 符号和符号串 文法和语言的形式定义 文法的类型 上下文无关文法及其语法树 上下文无关文法的句型分析 有关文法实用中的一些说明