【编译原理】文法

1. 终结符&非终结符

类型	表示	符号
非终结符	大写字母表示	ABCD
终结符	小写字母表示	abcd
关系	非终结符可以推导出终结符	A->a

2.文法类型

—VN——非终结符的集合
—VT——终结符的集合
—P ——推导式子集合
—S ——开始符

0型文法

特点：

α->β
α至少含有一个非终结符∈VN
α，β∈ ( VN ∪ VT )*

例：

A->a √
Aa->aB √
ab->A × 因为α=ab，其中不含有非终结符

1型文法

——又称上下文有关文法

特点：

α->β——满足0型文法的基础上
|β|>=|α|——|β|、|α|表示α和β的 长度

例：

A->Bab √
Aa->B × 因为Aa长度为2，B长度为1，不满足|β|>=|α|

2型文法

——上下文无关文法

特点：

α->β，|β|>=|α|——满足1型文法
α是 一个非终结符

例：

A->aB √
aB->abC × 因为aB 不是 一个非终结符

3型文法

——正规文法

特点：

α->β，|β|>=|α|， α是 一个非终结符——满足2型文法
A->a|aB（右线性） 或 A->a|Ba（左线性）

例：

A->a, A->aB, B->a, B->cB √ 3型文法 右线性
A->a, A->Ba, B->a, B->cB × A->Ba（左线性）B->cB（右线性）左线性和右线性只能取其一

2.4 文法类型之间的关系

3. 正规式与正规文法的转换

正规式

正则表达式
是一种表示正规集的公式

规则：

.

规则	文法产生式	正规式
1	A->xB、B->y	A=xy
2	A->xA/y	A=x*y
3	A->x、A->y	A=x/y

理解：

对于正规式和正规文法之间的转换规则，不理解的话，画出推导树，结果就显而易见了。

有什么问题欢迎在下方评论，或前来与在下共商，愿与君共勉！