乔姆斯基体系

1.正则文法RG

3型文法，对应的语言叫RL

如果文法G的规则集P中所有规则均满足如下形式

A->Bx,

A->x

其中，A，B∈N，x∈∑

则称文法G满足正则文法。

例子

对于文法G = (N,∑,P,S)

N = {S,A,B}    ∑={a,b,c}

以下情况均为正则文法

S->aA     A->aA     A->bbB     B->bB     B->b

2.上下文无关文法

又加1型文法，CFG

如果文法G的规则集P中所有规则满足如下形式A->a,其中A∈N，a∈(N∪∑),则称文法G为上下文无关文法。

例子

对于文法G = (N,∑,P,S)

N = {S,A,B,C}    ∑={a,b,c}

以下情况均为上下文文法

S->ABC     A->aA|a     A->bB|b    C->BA|c

3.上下文相关文法

又加1型文法，CSG

如果文法G的规则集P中所有规则满足如下形式  αAβ -> αγβ,其中A∈N，α，γ，β∈(N∪∑),且γ至少包含一个字符，则称文法G为上下文相关文法

例子

对于文法G = (N,∑,P,S)

N = {S,A,B,C}    ∑={a,b,c}

以下情况均为上下文文法

S->ABC     A->aA|a     A->bB|b    BC->Bcc

4.无约束文法

又加0型文法，PSL