本文详细介绍了编译原理中的语法分析，包括Chomsky四种类型的文法、推导与归约过程，以及如何处理二义性和语法错误。重点讲解了2型文法（上下文无关文法）和3型文法（正则文法），并讨论了自顶向下和自底向上的语法分析器工作原理。
文章目录
概念
概览表
| 名词 | 解释 |
|---|---|
| 句型 | 从文法开始符号S开始，每步推导（包括0步推导）所得到的字符串 α ： S ⟶ α , 且 α ( V N ∪ V T ) \alpha ：S\longrightarrow \alpha ,且\alpha(VN \cup VT) α：S⟶α,且α(VN∪VT) |
| 句子 | 仅含终结符的句型 |
| 语言 | 由S推导所得的句子的集合 L ( G ) = { α ∥ S ⟶ α ， 且 α ∈ V T ∗ } L(G)=\{\alpha \| S\longrightarrow \alpha，且\alpha \in V_T*\} L(G)={ α∥S⟶α，且α∈VT∗} ，G为文法 |
推导和规约
- 推导：使用产生式的右部取代左部的过程， 最左推导和最右推导称为规范推导。
- 归约：推导的逆过程，用产生式的左部取代右部的过程 -，最左归约和最右归约称为规范归约
Chomsky 0型文法: 短语文法或无限制文法
- P ： α ⟶ β P：\alpha\longrightarrow \beta P：α⟶β，其中 α ∈ V + \alpha \in V+ α∈V+ 并至少含有一个非终结符, β ∈ V ∗ \beta \in V* β∈V∗.
- 是对产生式限制最少的文法；
- 对0型文法的产生式作某些限制，可以得到其他类型的 文法
- 识别0型语言的自动机称为图灵机 ™
Chomsky 1型文法: 长度增加文法/上下文有关文法）
- P ： α ⟶ β P：\alpha\longrightarrow \beta
最低0.47元/天 解锁文章
扫一扫
1458
被折叠的 条评论
为什么被折叠?
到【灌水乐园】发言
