前言
第1章　编译引论 1
1.1　程序设计语言和编译程序 1
1.2　编译程序的结构 2
1.2.1　编译程序的构成 2
1.2.2　遍 5
1.2.3　编译程序的前端和后端 5
1.3　编译程序和程序设计环境 5
1.4　编译程序的实现 6
习题 7
第2章　词法分析 8
2.1　词法分析介绍 8
2.1.1　词法分析程序的功能 8
2.1.2　单词分类 8
2.1.3　词法分析程序的接口 9
2.2　字符串与正则表达式 10
2.2.1　符号串与符号串集合 10
2.2.2　正则表达式与正则集 13
2.3　有限自动机（FA） 15
2.3.1　确定有限自动机 15
2.3.2　非确定有限自动机 18
2.3.3　自动机的实现 20
2.3.4　NFA的确定化 22
2.3.5　DFA的化简 24
2.4　正则表达式与有限自动机 26
2.5　词法分析程序设计 30
2.5.1　过程概述 30
2.5.2　单词的形式描述 30
2.5.3　单词的内部表示 32
2.6　词法分析程序的实现 33
2.6.1　实现词法分析程序应注意的问题 33
2.6.2　单词结构 35
2.6.3　实现算法 35
2.7　词法分析程序自动生成 37
2.7.1　LEX简介 37
2.7.2　LEX工作原理 37
2.7.3　LEX源文件结构 38
2.7.4　LEX系统中的正则式 40
2.7.5　LEX的使用方式 42
2.7.6　应用实例 43
习题 43
第3章　语法分析—自顶向下分析方法 44
3.1　文法 44
3.1.1　文法的定义 44
3.1.2　文法的分类 45
3.1.3　推导和归约 48
3.1.4　语法树与文法二义性 49
3.1.5　文法等价变换 53
3.2　语法分析程序介绍 58
3.2.1　语法分析程序的功能 58
3.2.2　语法错误类别及错误处理 58
3.2.3　自顶向下语法分析基本思想 60
3.2.4　三个重要的集合 61
3.2.5　自顶向下语法分析条件 64
3.3　递归下降法 65
3.3.1　递归下降法语法分析原理 65
3.3.2　递归下降法语法分析程序的构造 67
3.4　LL(1)分析方法 68
3.4.1　LL(1)分析法原理 68
3.4.2　LL(1)分析表的构造 69
3.4.3　LL(1)驱动程序构造 71
3.5　自顶向下分析程序的自动生成 72
习题 73
第4章　语法分析—自底向上分析方法 75
4.1　自底向上语法分析方法介绍 75
4.2　简单优先分析法 76
4.2.1　简单优先文法及其优先关系矩阵的构造 77
4.2.2　简单优先分析算法 79
4.3　LR分析法 79
4.3.1　LR(0)归约规范活前缀状态机 80
4.3.2　LR(0)分析方法 85
4.3.3　SLR(1)分析方法 90
4.3.4　LR(1)分析方法 93
4.3.5　LALR(1)分析方法 96
4.3.6　LR方法小结 98
4.4　自底向上分析程序的自动生成 101
习题 101
第5章　语义分析和符号表 104
5.1　语义分析概述 104
5.1.1　什么是语义 104
5.1.2　语义分析的功能 105
5.1.3　语义分析的一般过程 107
5.1.4　语法制导方法 109
5.2　符号表的数据结构 112
5.2.1　标识符的属性 113
5.2.2　标识符的内部表示 114
5.2.3　类型的内部表示 121
5.2.4　值的内部表示 125
5.3　符号表的管理 125
5.3.1　符号表的建立与访问 125
5.3.2　符号表的组织 127
5.3.3　符号表的局部化处理 128
5.4　程序设计语言符号表的实例 132
5.4.1　Pascal语言的符号表 132
5.4.2　C语言的符号表 135
习题 139
第6章　运行时存储空间的组织与管理 141
6.1　目标程序运行时的存储结构 141
6.1.1　目标程序运行时内存的划分 141
6.1.2　目标程序运行时的存储分配策略 142
6.2　过程活动记录和运行时栈 145
6.2.1　过程活动记录 145
6.2.2　过程活动记录的申请和释放 146
6.3　变量访问环境 148
6.3.1　变量访问环境概述 148
6.3.2　Display表方法 149
6.3.3　静态链方法 153
习题 155
第7章　中间代码生成 156
7.1　常用的中间代码结构 156
7.1.1　后缀式 157
7.1.2　抽象语法树和有向无环图 158
7.1.3　三地址中间代码 159
7.2　类型检查和类型转换 162
7.3　中间代码生成中的几个问题 162
7.3.1　抽象地址ARG语义信息的获取和保存 162
7.3.2　语义栈Sem及其操作 163
7.3.3　常用的语义子程序 164
7.4　表达式的中间代码生成 165
7.5　下标变量的中间代码生成 167
7.5.1　下标变量的地址计算 167
7.5.2　下标变量的四元式结构 169
7.5.3　下标变量的中间代码生成 169
7.6　赋值语句的中间代码生成 172
7.7　控制语句的中间代码生成 173
7.7.1　goto语句和标号定位的中间代码 173
7.7.2　if条件语句的中间代码 174
7.7.3　while循环语句的中间代码 175
7.8　过程调用和函数调用的中间代码生成 176
7.9　过程声明和函数声明的中间代码生成 179
习题 182
第8章　中间代码优化 184
8.1　优化方法概述 184
8.1.1　优化目标和要求 184
8.1.2　优化内容 185
8.1.3　局部优化和全局优化 186
8.1.4　基本块划分 186
8.2　常量表达式优化 188
8.2.1　常量表达式的局部优化 189
8.2.2　基于常量定值分析的常量表达式全局优化 189
8.3　公共表达式优化 192
8.3.1　公共表达式的局部优化 192
8.3.2　基于活跃代码分析的公共表达式全局优化 193
8.4　循环不变式外提 198
8.4.1　循环不变式外提概述 198
8.4.2　循环不变式外提原理 201
8.5　临时变量的存储分配 205
8.5.1　临时变量特点 205
8.5.2　临时变量存储分配 205
8.6　其他各类优化介绍 206
习题 207
第9章　目标代码生成 210
9.1　目标代码生成介绍 210
9.1.1　代码生成器的输入和输出 210
9.1.2　指令选择 211
9.2　一个简单的虚拟目标机模型 212
9.3　四元式到目标代码的翻译 214
9.3.1　目标地址生成 214
9.3.2　表达式四元式的翻译 216
9.3.3　赋值语句四元式的翻译 216
9.3.4　输入输出语句四元式的翻译 217
9.3.5　条件语句四元式的翻译 218
9.3.6　循环语句四元式的翻译 219
9.3.7　标号语句和goto语句四元式的翻译 220
9.3.8　过程/函数声明和调用语句四元式的翻译 220
9.4　多寄存器的代码生成 225
9.4.1　寄存器分配准则 225
9.4.2　寄存器分配单位 226
9.4.3　变量活跃性分析 226
9.4.4　寄存器分配算法 228
习题 230
参考文献 232