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

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

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

–简要介绍语法制导的翻译 – 介绍静态检查中最典型的部分 —— 类型检查 忽略其他的静态检查：控制流检查、唯一性检查、关联名字检查等

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

FORTRAN 数值计算 COBOL 事务处理 PASCAL 结构程序设计 ADA 大型程序、嵌入式实时系统 PROLOG 逻辑程序设计 ALGOL 算法语言 C/C++ 系统程序设计 Java Internet程序设计

3.1 对于词法分析器的要求 3.2 词法分析器的设计 3.3 正规表达式与有限自动机 3.4 词法分析器的自动产生--LEX

语法分析-自下而上分析 自下而上分析基本问题 归约 规范归约 算符优先分析 算符优先文法 算符优先分析表的构造 LR分析法 LR分析器 LR文法 LR(0)项目集族和LR(0)分析表的构造

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