0型文法、1型文法、2型文法、3型文法

 0 型 ( 短语文法，图灵机 )

产生式形如： α → β
其中：α∈ (V_T ∪ V_N）^*，且至少含有一个非终结符；β∈ (V_T  V_N）^*

 1 型 ( 上下文有关文法，线性界限自动机 )

产生式形如： α → β
其中： α，β∈ (V_T ∪ V_N）^*，|α| ≤ |β| ，仅 S→ε 例外

 2 型 ( 上下文无关文法，非确定下推自动机 )

产生式形如： A → β
其中： A∈ V_N ；β∈ (V_T ∪ V_N)*

 3 型 ( 正规文法，有限自动机 )

右线性文法：
产生式形如： A → αB 或 A → α
其中： A，B∈V_N ；α∈V_T*

左线性文法：
产生式形如： A → Bα 或 A → α
其中： A，B∈V_N ；α∈V_T*