• 中间代码表示 – 抽象语法树 – 三地址代码：x=y op z • 静态类型检查 – 类型检查（type checking） – 语法分析之后的抽象语法(syntax)检查，比如 break的位置，goto的目标…. • 中间代码生成

– 上下文无关文法 – 自上而下分析和自下而上分析 – 围绕分析器的自动生成展开

南京大学：《编译原理》课程教学资源（PPT课件讲稿）第四章 语法分析

– 上下文无关文法 – 自上而下分析和自下而上分析 – 围绕分析器的自动生成展开 3.1 上下文无关文法 3.2 语言和文法 3.3 自上而下分析 3.4 自下而上分析 3.5 LR分析器 3.6 二义文法的应用 3.7 分析器的生成器

• 1. 引论 (易) • 3. 词法分析 (难) • 4. 语法分析 (难) • 5. 语法制导的翻译技术 (中) • 6. 中间代码生成 (难) • 7. 运行时刻环境 (易) • 8. 代码生成 (中) • 9. 机器无关优化 (中)

南京大学：《编译原理 Principles and Techniques of Compilers》课程教学电子教案（实验讲义）实验一 词法分析与语法分析

在前面已经介绍了编译程序构造的二个重要阶段，即词 法分析和语法分析。现在再来介绍编译程序的另一个重要阶 段——中间代码生成。虽然在实际应用中，是否采用中间代 码形式是根据实际情况而定的。但事实上，为了使编译程序 的结构清晰、简单、明确，多数编译程序采用了中间代码的 形式。尤其是使用了中间代码的形式，使目标代码优化比较 容易实现。通常以中间代码生成这一阶段来划分编译程序的 前端和后端。对于不同的高级语言只要翻译成相同的中间代 码，再接上一个相同的把中间代码翻译成目标代码的后端， 就可以形成不同的编译程序

词法分析是编译的第一个阶段，它的主要任务是从左至右逐个字符地对源程序进行扫描，产生一个个单词序列，用以语法分析。执行词法分析的程序称为词法分析程序或扫描程序

一、无参宏定义 所谓预处理是指在进行编译的第一遍扫描 (词法扫描和语法分析)之前所做的工作。 预处理是C语言的一个重要功能,它由预 处理程序负责完成。当对一个源文件进行 编译时,系统将自动引用预处理程序对源 程序中的预处理部分作处理,处理完毕自 动进入对源程序的编译

递归下降法(Recursive-Descent Parsing) 对每个非终极符按其产生式结构产生相应 语法分析子程序. 终极符产生匹配命令 非终极符则产生调用命令 文法递归相应子程序也递归，所以称这种 方法为递归子程序方法或递归下降法