0型文法：短语文法

1型文法：上下文有关文法,对应线性有限自动机
若α-->β
要求β的长度>=α的长度

2型文法：上下文无关文法，对应下推自动机
若α-->β
要求满足1型文法，且要求α是非终结符（A、AB是非终结符，Ab、a、ab不是）

3型文法：正规文法，对应优先状态自动机
若α-->β
要求满足2型文法，且要求α只有一个非终结符，β是一个终结符或(一个终结符+一个非终结符)或(一个非终结符+一个终结符)，满足左线性(即β集的非终结符都在左边)或右线性(即β集的非终结符都在右边)