2型文法（上下文无关文法）
上下文无关文法拥有足够强的表述力来表示绝大多数程序设计语言。例如：C Pascal Java 。。上下文无关语言，用下推自动机识别
2型文法在1型文法的基础上，再加一条限制。简单的说就是规则左边只有一个非终结符，上下文无关文法的一个典型特征是可以递归嵌套。由2型文法的产生的语言称2型语言，识别2型语言机器对应于下推自动机