0型文法
产生式左部非空
1型文法(上下文有关文法)
在0型文法的基础上,产生式左部存在终结符且左部长度小于右部长度
2型文法(上下文无关文法)
在1型文法的基础上,产生式左部必须是一个非终结符
3型文法(正规文法)
在2型文法的基础上,满足A→α|αB(右线性)或A→α|Bα(左线性)。
产生式左部非空
在0型文法的基础上,产生式左部存在终结符且左部长度小于右部长度
在1型文法的基础上,产生式左部必须是一个非终结符
在2型文法的基础上,满足A→α|αB(右线性)或A→α|Bα(左线性)。