2文法和语言简析.pptVIP

3型文法 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 ） 2.5 上下文无关文法及其语法树 从0型到3型文法,其后一类都是前一类的子集,且限制是逐步增强,而描述语言的功能是逐步减弱。 上下文无关文法有足够的能力描述现今程序设计语言的语法结构，比如描述算术表达式，描述各种语句等。 例文法G=(｛E｝,｛+,*,i,(,)｝,P,E)其中P为： {E→i , E→E+E , E→E*E , E→(E) , 〈赋值语句〉→i∶=E } E表示算术表达式, i表示程序的“变量”，该文法定义了由变量，+，*,(和)组成的算术表达式的语法结构，即： 变量是算术表达式；若E1和E2是