– 词法分析器：把构成源程序的字符流翻译成记号流，还完成和用户接口的一些任务 – 围绕词法分析器的自动生成展开 – 介绍正规式、状态转换图和有限自动机概念

• 语法制导的定义和翻译方案 • 语法制导定义和翻译方案的实现 • S属性的自底向上计算（边分析边计算） • L属性的自顶向下计算（边分析边计算） • L属性的自底向上计算（边分析边计算）

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

本章内容： 介绍几种常用的中间表示：后缀表示、图形表示和三地址代码； 用语法制导定义和翻译方案的方法来说明程序设计语言的结构怎样被翻译成中间形式； 7.1 中间语言 7.2 说明语句 7.3 赋值语句 7.4 布尔表达式的翻译 7.5 控制语句的翻译 7.6 过程调用的处理 7.7 类型检查

• 代码生成要考虑的主要问题 • 基本块的代码生成(在一个基本块范围内考虑如何充分利用寄存器的问题) • 从dag生成代码

文法和语言的形式定义 文法的类型 上下文无关文法及其语法树 上下文无关文法的句型分析 有关文法实用中的一些说明

5.1 预测分析程序 5.2 LL(1)文法 • FIRST和FOLLOW集定义和计算 • LL(1) 文法定义 • LL(1)分析程序的生成 5.3 非LL(1)文法的改造

6.1 自下而上分析及其LR分析概述 6.2 LR (0) 分析 6.3 SLR(1) 分析 6.4 LR（1）分析 6.5 LALR分析 6.6 使用二义文法

 词法分析的作用  词法单元的规约（正则表达式）  词法单元的识别（状态转换图）  有穷自动机  词法分析器生成工具及设计

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