◼ 本章主要介绍语法分析的处理 ◼ 要进行语法分析，必须对语言的语法结构进行描述。 采用正规式和有限自动机可以描述和识别语言的单词符号； 用上下文无关文法来描述语法规则

1 • 引论 2 • 文法和语言 3 • 词法分析 4 • 自顶向下语法分析方法 5 • 自底向上优先分析 6 • LR分析 • 语法制导翻译和中间代码生成 7 8 • 符号表 • 目标程序运行时的存 储组织 9 10 • 代码优化和代码生成

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

2.7.1 中间语言 2.7.1.1 后缀式 2.7.1.2 图表示法 2.7.1.3 三地址代码 2.7.2 声明语句 2.7.3 赋值语句的翻译 2.7.4 布尔表达式的翻译 2.7.4.1 数值表示法 2.7.5 控制语句的翻译 2.7.5.2 标号与goto语句 2.7.5.3 CASE语句的翻译

词法分析器：把构成源程序的字符流翻译成记号流，还完成和用户接口的一些任；围绕词法分析器的自动生成展开；介绍正规式、状态转换图和有限自动机概念； 2.1 词法记号及属性 2.2 词法记号的描述与识别 2.3 有限自动机 2.4 从正规式到有限自动机 2.5 词法分析器的生成器

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

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

• 介绍几种常用的中间代码表示 • 抽象语法树（上一章已介绍） • 有向无环图 • 三地址代码 • 用语法制导定义和翻译方案来说明源语言的各种构造怎样被翻译成中间表示 • 声明（和类型） • 表达式和赋值 • 类型检查和类型转换 • 控制流 • 过程

1、介绍语义描述的一种形式方法：语法制导的翻译，它包括两种具体形式 –语法制导的定义 –翻译方案 2、介绍语法制导翻译的实现方法

6.1 Attributes and Attribute Grammars 6.1.1 Attribute Grammars 6.1.2 Simplifications and Extensions to Attribute Grammars 6.2 Algorithms for Attribute Computation 6.2.1 Dependency graphs and evaluation order 6.2.2 Synthesized and Inherited Attributes 6.2.3 Attributes as Parameters and Returned Values 6.2.4 The Use of External Data Structures to Store Attributes Values 6.2.5 The Computation of Attributes during Parsing 6.2.6 The Dependence of Attributes Computation on the Syntax