Chomsky文法分类体系
文章目录
0型文法(Type-0 Grammar)
α → β \alpha \rightarrow{\beta} α→β
无限制文法/短语结构文法
∀ α → β ∈ P \forall \alpha \rightarrow \beta \in P ∀α→β∈P, α \alpha α中至少包含1个非终结符。
由0型文法生成的语言称为0型语言。
1型文法(Type-1 Grammar)
α → β \alpha \rightarrow{\beta} α→β
上下文有关文法(Context-Sensitive Grammar):
7
- ∀ α → β ∈ P , ∣ α ∣ ≤ ∣ β ∣ \forall \alpha \rightarrow{\beta} \in P,|\alpha| \le |\beta| ∀α→β∈P,∣α∣≤∣β∣
- 产生式的一般形式: α 1 A α 2 → α