Chomsky文法判断

0型文法

产生式左部非空

1型文法（上下文有关文法）

在0型文法的基础上，产生式左部存在终结符且左部长度小于右部长度

2型文法（上下文无关文法）

在1型文法的基础上，产生式左部必须是一个非终结符

3型文法（正规文法）

在2型文法的基础上，满足A→α|αB（右线性）或A→α|Bα（左线性）。