第1章 编译概述

1.1 翻译和解释

1.1.1 程序设计语言

1.1.2 翻译程序

1.2 编译的阶段和任务

1.2.1 分析阶段

1.2.2 综合阶段

1.2.3 符号表管理

1.2.4 错误处理

1.3 和编译有关的其他概念

1.3.1 编译的前端和后端

1.3.2 “遍”的概念

1.4 编译程序的伙伴工具

1.4.1 预处理器

1.4.2 汇编程序

1.4.3 连接装配程序

1.5 编译原理的应用

习题1

第2章 形式语言与自动机基础

2.1 语言和文法

2.1.1 字母表和符号串

2.1.2 语言

2.1.3 文法及其形式定义

2.1.4 推导和短语

2.1.5 分析树及二义性

2.1.6 文法变换

2.2 有限自动机

2.2.1 确定的有限自动机

2.2.2 非确定的有限自动机

2.2.3 具有ε-转移的非确定的有限自动机

2.2.4 DFA的化简

2.3 正规文法与有限自动机的等价性

2.4 正规表达式与有限自动机的等价性

2.5 正规表达式与正规文法的等价性

2.5.1 正规定义式

2.5.2 表示的缩写

2.5.3 正规表达式转换为等价的正规文法

习题2

第3章 词法分析

3.1 词法分析程序与语法分析程序的关系

3.2 词法分析程序的输入与输出

3.2.1 输入缓冲区

3.2.2 词法分析程序的输出

3.3 记号的描述和识别

3.3.1 词法与正规文法

3.3.2 记号的文法

3.3.3 状态转换图与记号的识别

3.4 词法分析程序的设计与实现

3.4.1 文法及状态转换图

3.4.2 词法分析程序的构造

3.4.3 词法分析程序的实现

3.5 LEX简介

3.5.1 LEX源程序的结构

3.5.2 LEX源程序举例

习题3

程序设计1

第4章 语法分析

4.1 语法分析简介

4.1.1 语法分析程序的地位

4.1.2 常用的语法分析方法

4.1.3 语法错误的处理

4.2 自顶向下分析方法

4.2.1 递归下降分析

4.2.2 递归调用预测分析

4.2.3 非递归预测分析

4.3 自底向上分析方法

4.3.1 规范归约

4.3.2 “移进-归约”方法的实现

4.4 LR分析方法

4.4.1 LR分析程序的模型及工作过程

4.4.2 SLR（1）分析表的构造

4.4.3 LR（1）分析表的构造

4.4.4 LALR（1）分析表的构造

4.4.5 LR分析方法对二义文法的应用

4.4.6 LR分析的错误处理与恢复

4.5 软件工具YACC

4.5.1 YACC源程序

4.5.2 YACC对二义文法的处理

4.5.3 用LEX建立YACC的词法分析程序

习题4

程序设计2

第5章 语法制导翻译技术

5.1 语法制导定义及翻译方案

5.1.1 语法制导定义

5.1.2 依赖图

5.1.3 计算次序

5.1.4 S属性定义及L属性定义

5.1.5 翻译方案

5.2 S属性定义的自底向上翻译

5.2.1 为表达式构造语法树的语法制导定义

5.2.2 S属性定义的自底向上翻译

5.3 L属性定义的自顶向下翻译

5.3.1 消除翻译方案中的左递归

5.3.2 预测翻译程序的设计

5.4 L属性定义的自底向上翻译

5.4.1 移走翻译方案中嵌入的语义规则

5.4.2 直接使用分析栈中的继承属性

5.4.3 变换继承属性的计算规则

5.4.4 改写语法制导定义为S属性定义

5.5 通用的语法制导翻译方法

习题5

第6章 语义分析

6.1 语义分析概述

6.1.1 语义分析的任务

6.1.2 语义分析程序的位置

6.1.3 错误处理

6.2 符号表

6.2.1 符号表的建立和访问时机

6.2.2 符号表内容

6.2.3 符号表操作

6.2.4 符号表组织

6.3 类型检查

6.3.1 类型表达式

6.3.2 类型等价

6.4 一个简单的类型检查程序

6.4.1 语言说明

6.4.2 符号表的建立

6.4.3 表达式的类型检查

6.4.4 语句的类型检查

6.4.5 类型转换

6.5 类型检查有关的其他主题

6.5.1 函数和运算符的重载

6.5.2 多态函数

习题6

程序设计3

第7章 运行环境

7.1 程序运行时的存储组织

7.1.1 程序运行空间的划分

7.1.2 活动记录与控制栈

7.1.3 名字的作用域及名字绑定

7.2 存储分配策略

7.2.1 静态存储分配

7.2.2 栈式存储分配

7.2.3 堆式存储分配

7.3 非局部名字的访问

7.3.1 程序块

7.3.2 静态作用域规则下非局部名字的访问

7.3.3 动态作用域规则下非局部名字的访问

7.4 参数传递机制

7.4.1 传值调用

7.4.2 引用调用

7.4.3 复制恢复

7.4.4 传名调用

习题7

第8章 中间代码生成

8.1 中间代码形式

8.1.1 图形表示

8.1.2 三地址代码

8.2 赋值语句的翻译

8.2.1 仅涉及简单变量的赋值语句的翻译

8.2.2 涉及数组元素的赋值语句

8.2.3 记录结构中域的访问

8.3 布尔表达式的翻译

8.3.1 翻译布尔表达式的方法

8.3.2 数值表示法

8.3.3 控制流表示法及回填技术

8.4 控制语句的翻译

8.5 goto语句的翻译

8.6 CASE语句的翻译

8.7 过程调用语句的翻译

习题8

第9章 目标代码生成

9.1 目标代码生成概述

9.1.1 代码生成程序的位置

9.1.2 代码生成程序设计的相关问题

9.2 基本块和流图

9.3 下次引用信息

9.4 一个简单的代码生成程序

9.4.1 目标机器描述

9.4.2 代码生成算法

9.4.3 其他常用语句的代码生成

习题9

第10章 代码优化

10.1 代码优化概述

10.1.1 代码优化程序的功能和位置

10.1.2 代码优化的主要种类

10.2 基本块优化

10.2.1 常数合并及常数传播

10.2.2 删除公共表达式

10.2.3 复制传播

10.2.4 削弱计算强度

10.2.5 改变计算次序

10.3 dag在基本块优化中的应用

10.3.1 基本块的dag表示

10.3.2 基本块的dag构造算法

10.3.3 dag的应用

10.3.4 dag构造算法的进一步讨论

10.4 循环优化

10.4.1 循环展开

10.4.2 代码外提

10.4.3 削弱计算强度

10.4.4 删除归纳变量

10.5 窥孔优化

10.5.1 删除冗余的传送指令

10.5.2 删除死代码

10.5.3 控制流优化

10.5.4 削弱计算强度及代数化简

习题10

第11章 面向对象的编译方法

11.1 面向对象语言的基本概念

11.1.1 类和对象

11.1.2 继承

11.1.3 信息封装

11.1.4 多态性

11.2 方法的编译

11.2.1 静态方法

11.2.2 动态方法

11.3 继承的编译

11.3.1 单一继承的编译

11.3.2 多继承的编译

11.4 程序运行环境

习题11

第12章 编译程序构造实践

12.1 编译程序的表示及实现方法

12.1.1 表示方法

12.1.2 实现语言

12.1.3 自展法

12.1.4 移植法

12.2 PL/0语言及其编译程序介绍

12.2.1 PL/0语言

12.2.2 PL/0编译程序的结构

12.2.3 PL/0编译程序的词法分析

12.2.4 PL/0编译程序的语法分析

12.2.5 PL/0编译程序的出错处理

12.2.6 PL/0编译程序的执行环境及代码生成

12.2.7 PL/0程序编译和运行示例

12.3 GCC编译程序

12.3.1 GCC简介

12.3.2 GCC编译程序的结构与处理流程

12.3.3 GCC的分析程序

12.3.4 GCC的中间语言及中间代码生成

12.3.5 GCC的代码优化

12.3.6 GCC的代码生成

12.4 编译实践

12.4.1 Pascal-S语言说明

12.4.2 课程设计要求及说明

12.4.3 编译程序的测试

附录 PL/0编译程序源程序

参考文献