文法

规则，也称重写规则、产生式或生成式，是形如a->β或a::=β的(a,β)有序对。其中a为左部，β为右部，符号“->（::=）”读作“定义为”。

 

文法四元组Ｇ（Ｖn，Ｖt，Ｐ，Ｓ）

Ｖn为非终结符集，一般用大写字母表示

Ｖt为终结符集，一般用小写字母表示

Ｐ生成式集合

Ｓ开始符或识别符

 

乔姆斯基将文法分为四种类型：0型文法（相当于图灵机，递归可枚举）

1型文法：上下文有关的(context-sensitive)

2型文法：上下文无关的(context-free)

3型文法：正规文法

 

上下文无关是指文法的生成式可以表示为A->β,表示用β取代Ａ时，与Ａ所在的上下文无法；

与此相对的上下文有关方法指生成式表示为aAb->aβb,即若要用β取代Ａ，必须有a和b出现

 

 

―――――――――摘自编译原理第二版