编译原理 第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) 规定算符优先性和结合性 如果产生上下文无关语言的每一个文法都是二义的，则说此语言是先天二义的。对于一个程序设计语言来说，常常希望它的文法是无二义的，因为希望对它的每个语句的分析是唯一的。 * * 符号和符号串 文法和语言的形式定义 文法的类型 上下文无关文法及其语法树 上下文无关文法的句型分析 有关文法实用中的一些说明 通过对产生式施加不同的限制，Chomsky将文法分为四种类型： 0型文法：对任一产生式α→β，都有α∈(VN∪VT)+， β∈(VN∪VT)* 1型文法：对任一产生式α→β，都有|β|≥|α|， 仅仅 S→ε除外 2型文法：对任一产生式α→β，都有α∈VN 3型文法：任一产生式α→β的形式都为A→aB或A→a，其中A∈VN ，B∈VN ，a∈VT * 例：1型（上下文有关）文法 文法G[S]：S→CD Ab→bA C→aCA Ba→aB C→bCB Bb→bB AD→aD C→a BD→bD D→b Aa→bD 例：2型（上下文无关）文法 文法G[S]： S→AB A→BS|0 B→SA|1 G[S]： S→0A|1B|0 A→0A|1B|0S B→1B|1|0 G[I]： I → lT I → l T → lT T → dT T → l T → d 2型文法 1型文法 0型文法 3型文法 四类文法之间的逐级“包含”关系 0型文法产生的语言称为0型语言 1型文法或上下文有关文法（ CSG ）产生的语言称为1型语言或上下文有关语言（CSL） 2型文法或上下文无关文法（ CFG ）产生的语言称为2型语言或上下文无关语言（ CF L ） 3型文法或正则（正规）文法（ RG ）产生的语言称为3型语言或正则（正规）语言（ RL ） 四种文法之间的关系：是将产生式做进一步限制而定义的。 语言之间的关系依次：有不是上下文有关语言的0型语言，有不是上下文无关语言的1型语言，有不是正则语言的上下文无关语言。 0型文法（短语结构文法）的能力相当于图灵机，可以表征任何递归可枚举集，而且任何0型语言都是递归可枚举的 1型文法（上下文有关文法）：产生式的形式为α1Aα2→α1βα2，即只有A出现在α1和α2的上下文中时，才允许β取代A。其识别系统是线性界限自动机。 2型文法（上下文无关文法CFG）：产生式的形式为A→β，β取代A时与A的上下文无关。其识别系统是不确定的下推自动机。 3型文法（正规文法RG）：产生的语言是有穷自动机（FA）所接受的集合 带 a0 a1 a2 a3 a4 a5 a6 a7 a8 … an-1 an 有限控制器 磁头 任何能用图灵机描述的计算都能机械实现，任何能在现代计算机上实现的计算都能用图灵机描述 上下文无关文法有足够的能力描述程序设计语言的语法结构 语法树---句型推导的直观表示 G[E]： E→E+T|T T→T*F|F F→(E)|a给出句型（句子） a+a*a的推导。 E?E+T ?T+T ?F+T ?a+T ?a+T*F ?a+F*F ?a+a*F ?a+a*a E?E+T ?E+T*F ?E+T*a ?E+F*a ?E+a*a ?T+a*a ?F+a*a ?a+a*a E?E+T ?T+T ?T+T*F ?F+T*F ?F+F*F ?a+F*F ?a+F*a ?a+a*a 最左（最右）推导：