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

四种文法类型

文章目录

• （1）0型文法（短语文法）
• 1.定义：
• 2.特点：
• （2）1型文法（上下文有关）
• 1.定义：
• 2.特点：
• 3.例子：
• （3）2型文法（上下文无关文法）
• 1.定义：
• 2.特点：
• 3.例子：
• 4.注意：
• （4）3型文法（正规文法）
• 1.定义:
• 2.特点：
• 3.例子：
• 4.注意：
• （5）总结0、1、2、3型文法
• ①0型文法：产生式左部至少有一个非终结符
• ②1型文法（上下文有关）：产生式左边字符数量一定小于等于右边字符数量，不能越推越少（右比左长）
• ③2型文法（上下文无关）：左部唯一一个非终结符
• ④3型文法（正规文法）：右部的最开始的那一个一定是终结符
• ⑤其中，这四种文法之间是包含关系

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

1.定义：

2.特点：

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

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

1.定义：

2.特点：

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

3.例子：

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

1.定义：

2.特点：

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

3.例子：

4.注意：

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

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

1.定义:

2.特点：

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

3.例子：

4.注意：

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

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

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

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

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

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

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