第1章 编译引论 1
1.1 程序设计语言和编译程序 1
1.2 编译程序的结构 2
1.2.1 编译程序的构成 2
1.2.2 遍 4
1.2.3 编译程序的前端和后端 4
1.3 编译程序和程序设计环境 5
1.4 编译程序的实现 5
习题1 7
第2章 形式语言与自动机理论基础 8
2.1 基本概念 8
2.2 文法 10
2.2.1 文法的定义 10
2.2.2 文法分类 11
2.2.3 推导和归约 13
2.2.4 语法树与文法二义性 14
2.2.5 文法等价变换 17
2.3 有限自动机（FA） 21
2.3.1 确定有限自动机 21
2.3.2 非确定有限自动机 24
2.3.3 DFA与NFA的等价 25
2.3.4 DFA的化简 27
2.4 正则表达式 29
2.4.1 正则表达式与正则集 29
2.4.2 正则表达式与有限自动机的相互转换 30
习题2 32
第3章 词法分析 34
3.1 词法分析介绍 34
3.1.1 词法分析程序的功能 34
3.1.2 词法分析程序的接口 34
3.2 词法分析程序设计 35
3.2.1 单词分类 35
3.2.2 单词的内部表示 35
3.2.3 单词的形式描述 35
3.2.4 自动机的实现 37
3.3 词法分析程序的实现 38
3.3.1 实现词法分析程序应注意的问题 38
3.3.2 单词结构 40
3.3.3 实现算法 40
3.4 词法分析程序自动生成 42
3.4.1 LEX简介 42
3.4.2 LEX工作原理 43
3.4.3 LEX源文件结构 43
3.4.4 LEX系统中的正则式 45
3.4.5 LEX的使用方式 47
3.4.6 应用实例 48
习题3 48
第4章 语法分析——自顶向下分析方法 49
4.1 语法分析程序介绍 49
4.1.1 语法分析程序的功能 49
4.1.2 语法错误类别及错误处理 49
4.1.3 自顶向下语法分析基本思想 51
4.1.4 3个重要的集合 52
4.1.5 自顶向下语法分析条件 54
4.2 递归下降法 55
4.2.1 递归下降法语法分析原理 55
4.2.2 递归下降法语法分析程序的构造 56
4.3 LL（1）分析方法 57
4.3.1 LL（1）分析法原理 57
4.3.2 LL（1）分析表的构造 58
4.3.3 LL（1）驱动程序的构造 60
4.4 自顶向下分析程序的自动生成 61
习题4 62
第5章 语法分析——自底向上分析方法 63
5.1 自底向上语法分析方法介绍 63
5.2 简单优先分析 64
5.2.1 简单优先文法及其优先关系矩阵的构造 64
5.2.2 简单优先分析算法 66
5.3 LR分析法 66
5.3.1 LR类分析法的工作过程 67
5.3.2 LR（0）分析方法 68
5.3.3 SLR（1）分析方法 75
5.3.4 LR（1）分析方法 78
5.3.5 LALR（1）分析方法 81
5.3.6 LR方法小结 83
5.4 自底向上分析程序的自动生成 85
习题5 86
第6章 语义分析和符号表 88
6.1 语义分析概述 88
6.1.1 语义 88
6.1.2 语义分析的功能 89
6.1.3 语义分析的一般过程 91
6.2 符号表的数据结构 92
6.2.1 标识符的属性 93
6.2.2 标识符的内部表示 94
6.2.3 类型的内部表示 100
6.2.4 值的内部表示 103
6.3 符号表的管理 104
6.3.1 符号表的建立与访问 104
6.3.2 符号表的组织 105
6.3.3 符号表的局部化处理 107
6.4 程序设计语言符号表的实例 111
6.4.1 Pascal的符号表 111
6.4.2 C的符号表 113
习题6 119
第7章 中间代码生成 121
7.1 常用的中间代码结构 121
7.1.1 后缀式 121
7.1.2 抽象语法树和DAG 121
7.1.3 三地址中间代码 122
7.2 语法制导方法概论 123
7.3 类型检查和类型转换 125
7.4 中间代码生成中的几个问题 125
7.4.1 语义信息的获取和保存 125
7.4.2 语义栈Sem及其操作 126
7.4.3 常用的语义子程序 126
7.5 表达式的中间代码生成 127
7.6 下标变量的中间代码生成 129
7.6.1 下标变量的地址 129
7.6.2 下标变量的四元式结构 130
7.6.3 下标变量的中间代码生成过程 130
7.6.4 下标变量中间代码生成实例 131
7.7 赋值语句的中间代码 132
7.8 过程调用和函数调用的中间代码 133
7.9 控制语句的中间代码生成 135
7.9.1 goto语句和标号定位的中间代码 135
7.9.2 条件语句的中间代码 136
7.9.3 while语句的中间代码 136
7.10 过程／函数声明的中间代码生成 137
习题7 138
第8章 中间代码优化 140
8.1 优化方法概述 140
8 2 基本块划分 142
8.3 常量表达式局部优化 144
8.4 公共表达式局部优化 144
8.5 循环不变式外提 146
8.5.1 循环不变式外提概述 146
8.5.2 循环不变式外提原理 149
8.6 其他各类优化介绍 151
习题8 152
第9章 运行时存储空间的组织与管理 154
9.1 目标程序运行时的存储结构 154
9.1.1 目标程序运行时内存的划分 154
9.1.2 目标程序运行时的存储分配策略 155
9.2 过程活动记录和运行时栈 161
9.2.1 过程活动记录 161
9.2.2 过程活动记录的申请和释放 162
9.3 变量访问环境 164
9.3.1 变量访问环境概述 164
9.3.2 Display表方法 165
9.3.3 静态链方法 168
习题9 170
第10章 目标代码生成 172
10.1 目标代码生成介绍 172
10.1.1 代码生成器的输入和输出 172
10.1.2 指令选择 172
10.2 虚拟机 173
10.3 寄存器的分配 175
10.3.1 单寄存器机器的寄存器分配 175
10.3.2 多寄存器机器的寄存器分配 175
10.4 四元式到目标代码的翻译 176
10.4.1 表达式四元式的翻译 176
10.4.2 赋值语句四元式的翻译 177
10.4.3 输入输出语句四元式的翻译 178
10.4.4 条件语句四元式的翻译 178
10.4.5 循环语句四元式的翻译 179
10.4.6 标号语句四元式和goto语句四元式的翻译 181
10.4.7 过程、函数说明语句四元式的翻译 181
10.4.8 过程和函数调用语句四元式的翻译 182
习题10 183
参考文献 184