0 型 ( 短语文法,图灵机 )
产生式形如: α → β
其中:α∈ (VT ∪ VN)*,且至少含有一个非终结符;β∈ (VT VN)*
1 型 ( 上下文有关文法,线性界限自动机 )
产生式形如: α → β
其中: α,β∈ (VT ∪ VN)*,|α| ≤ |β| ,仅 S→ε 例外
2 型 ( 上下文无关文法,非确定下推自动机 )
产生式形如: A → β
其中: A∈ VN ;β∈ (VT ∪ VN)*
3 型 ( 正规文法,有限自动机 )
右线性文法:
产生式形如: A → αB 或 A → α
其中: A,B∈VN ;α∈VT*
左线性文法:
产生式形如: A → Bα 或 A → α
其中: A,B∈VN ;α∈VT*