文法分类

乔姆斯基（Chomsky)把文法分成四种类型

0型、1型、2型和3型。

0型文法也称为短语文法，其能力相当于图灵机，任何0型语言都是递归可枚举的；反之，递归可枚举集也必定是一个0型语言。

1型文法也称为上下文有关文法，这种文法意味着对非终结符的替换必须考虑上下文。

2型文法就是上下文无关文法，非终结符的替换无需考虑上下文。

3型文法等价于正规式，因此也被称为正规文法或线性文法。通用程序设计语言的大多数语法可由上下文无关文法表示。