编译原理 第三章 part2 (四种文法类型)

四种文法类型

（1）0型文法（短语文法）

1.定义：

2.特点：

左部至少含有一个非终结符

（2）1型文法（上下文有关）

1.定义：

2.特点：

①不能越推导越短，推出空串的除外
②是上下文有关文法

3.例子：

（3）2型文法（上下文无关文法）

1.定义：

2.特点：

①左部是唯一一个非终结符
②是上下文无关文法

3.例子：

4.注意：

①通常程序设计语言的文法，可用2型文法来描述，因此我们重点研究2型文法。

（4）3型文法（正规文法）

1.定义:

（所以，A推出空串也是3型文法）

2.特点：

①每次推导，生成式左端会产生一个终结符（具体看下面例子）

3.例子：

4.注意：

①在程序设计语言中，3型文法通常用来描述单词的结构
②相对于上下文无关文法，正规文法的特点是：每次推导，都会在左端产生一个终结符。

（5）总结0、1、2、3型文法

①0型文法：产生式左部至少有一个非终结符

②1型文法（上下文有关）：产生式左边字符数量一定小于等于右边字符数量，不能越推越少（右比左长）

③2型文法（上下文无关）：左部唯一一个非终结符

④3型文法（正规文法）：右部的最开始的那一个一定是终结符

⑤其中，这四种文法之间是包含关系