编译原理之文法的分类和判别

1.文法的分类

Chomsky文法分类将文法分为四种，逐渐对产生式施加限制形成一个层次：

• 0型：G = (V_T , V_N , S , P)
  规则形式：α → β ，α,β∈(V_T , V_N) ^*,α ≠ ε
  推导：γαδ ⇒ γβδ

• 1型（上下文有关）：规则α → β 有|α|≤|β|
  规则形式：ξAη→ξγη，A ∈ V_N，ξ , γ , η ∈(V_T , V_N) ^* , γ ≠ ε

• 2型（上下文无关）
  规则形式：A → β , A∈V_N , β ∈(V_T , V_N) ^*

• 3型（右线性/左线性/正规文法）
  A → aB或者A → a（右线性）
  A → Ba或者A → a（左线性）
  a∈ V_T∪{ε}

2.文法的判别