二型文法，又称上下文无关文法，拥有足够强的表述力来表示绝大多数程序设计语言。
二型文法介绍
二型文法，又称上下文无关文法，拥有足够强的表述力来表示绝大多数程序设计语言。
例如：C Pascal Java 。。上下文无关语言，用下推自动机识别
2型文法在1型文法的基础上，再加一条限制。简单的说就是规则左边只能都是非终结符，上下文无关文法的一个典型特征是可以递归嵌套。由2型文法的产生的语言称2型语言，识别2型语言机器对应于下推自动机。
G=(Vn, Vt, P, S)
2型文法： G的任何产生式形如A->β，其中A∈Vn,
