第1章 绪论 1
1.1 编译程序简介 1
1.1.1 编译概述 1
1.1.2 编译技术的重要性 3
1.1.3 编译技术的应用 3
1.2 编译程序的结构及编译过程 4
1.2.1 词法分析器 5
1.2.2 语法分析器 6
1.2.3 语义分析与中间代码生成器 7
1.2.4 代码优化器 8
1.2.5 目标代码生成器 9
1.2.6 表格管理 10
1.2.7 错误处理 10
1.2.8 常见术语 10
1.3 编译程序的构造 11
1.4 本章小结 12
1.5 习题 12
第2章 高级语言及其语法描述 13
2.1 高级语言简介 13
2.1.1 高级语言的定义 13
2.1.2 高级语言的一般特性 13
2.1.3 L语言说明 17
2.2 高级语言的语法描述 19
2.2.1 符号和符号串 19
2.2.2 上下文无关文法 20
2.2.3 语法分析树 24
2.2.4 文法的二义性 24
2.2.5 文法的分类 25
2.3 本章小结 26
2.4 习题 26
第3章 词法分析 28
3.1 词法分析器概述 28
3.1.1 词法分析器的功能 28
3.1.2 单词的类型和内部表示 29
3.2 词法分析器的设计 30
3.2.1 总体设计 30
3.2.2 详细设计 31
3.2.3 状态转换图 33
3.2.4 L语言词法分析器的设计与实现 34
3.3 正规表达式与有限自动机 37
3.3.1 正规式与正规集 37
3.3.2 确定有限自动机（DFA） 38
3.3.3 不确定有限自动机（NFA） 39
3.3.4 正规文法与有限自动机的等价性 42
3.3.5 正规式与有限自动机的等价性 43
3.3.6 DFA的化简 46
3.3.7 化简的DFA到程序的表示 48
3.4 词法分析器的自动生成 50
3.4.1 LEX概述 50
3.4.2 LEX语言规范 50
3.4.3 使用LEX自动生成L语言的词法分析器 53
3.5 本章小结 54
3.6 习题 54
第4章 自上而下语法分析 55
4.1 概述 55
4.2 自上而下分析基本思想 55
4.3 LL（1）分析 57
4.3.1 消除左递归 57
4.3.2 FIRST集、提取左因子 60
4.3.3 FOLLOW集 63
4.3.4 LL（1）文法 64
4.4 递归下降分析法 64
4.4.1 基本思路 64
4.4.2 流程设计 65
4.4.3 程序实现 67
4.4.4 L语言设计与实现 68
4.5 预测分析法 70
4.5.1 预测分析过程 70
4.5.2 预测分析表的构造 72
4.6 LL（1）分析中的错误处理 74
4.7 本章小结 76
4.8 习题 76
第5章 自下而上语法分析 78
5.1 移进-归约方法 78
5.2 规范归约 79
5.2.1 规范归约和句柄 79
5.2.2 短语 79
5.2.3 LR分析 80
5.3 算符优先分析 83
5.3.1 算符优先文法 83
5.3.2 算符优先关系表 84
5.3.3 算符优先分析算法 86
5.3.4 优先函数 88
5.3.5 算符优先分析中的出错处理 91
5.4 LR分析 92
5.4.1 规范句型的活前缀 92
5.4.2 LR（0）分析 93
5.4.3 SLR（1）分析 97
5.4.4 LR（1）分析 100
5.4.5 LALR（1）分析 103
5.4.6 二义文法的应用 105
5.4.7 LR分析中的出错处理 106
5.5 语法分析器的自动产生工具YACC 108
5.6 本章小结 111
5.7 习题 111
第6章 语义分析与中间代码生成 114
6.1 属性文法 114
6.1.1 综合属性 116
6.1.2 继承属性 116
6.2 语法制导翻译方法 117
6.2.1 依赖图 118
6.2.2 树遍历的属性计算方法 119
6.2.3 一遍扫描的处理方法 120
6.2.4 两类特殊的属性文法 121
6.3 中间代码的形式 123
6.3.1 后缀式 123
6.3.2 图表示法 124
6.3.3 三地址代码 125
6.4 说明语句的翻译 127
6.4.1 变量说明语句的翻译 128
6.4.2 L语言变量说明语句的翻译 130
6.5 赋值语句的翻译 132
6.5.1 简单算术表达式及赋值语句的翻译 132
6.5.2 数组元素的引用 133
6.5.3 L语言赋值语句的翻译 136
6.6 布尔表达式的翻译 140
6.6.1 数值计算法 140
6.6.2 优化计算法 141
6.6.3 L语言布尔表达式的翻译 144
6.7 控制语句的翻译 148
6.7.1 典型控制语句的翻译 148
6.7.2 L语言控制语句的翻译 150
6.8 本章小结 155
6.9 习题 155
第7章 符号表与运行时存储空间组织 157
7.1 符号表的内容与组织 157
7.1.1 符号表的作用 157
7.1.2 符号表的内容 158
7.1.3 符号表的组织方式 158
7.2 符号表的整理与查找 160
7.2.1 线性表 160
7.2.2 对折查找与二叉树 161
7.2.3 杂凑法 161
7.3 目标程序运行时的活动 163
7.3.1 过程的活动 163
7.3.2 参数传递 163
7.4 运行时存储器的组织 165
7.4.1 运行时存储器的划分 165
7.4.2 活动记录 166
7.4.3 存储分配策略 167
7.5 静态存储分配 167
7.5.1 静态存储分配的性质 167
7.5.2 静态存储分配的实现 168
7.5.3 临时变量的地址分配 169
7.6 栈式存储分配 169
7.6.1 简单的栈式存储分配 169
7.6.2 嵌套过程语言的栈式存储分配 171
7.7 堆式存储分配 174
7.7.1 堆式存储分配的实现 175
7.7.2 隐式存储回收 175
7.8 本章小结 176
7.9 习题 176
第8章 优化 178
8.1 概述 178
8.1.1 优化的原则 178
8.1.2 优化的种类 178
8.1.3 基本块与流图 179
8.2 局部优化 181
8.2.1 删除公共子表达式 181
8.2.2 复写传播 185
8.2.3 删除无用代码 186
8.2.4 对程序进行代数恒等变换 188
8.2.5 利用基本块的DAG进行优化 190
8.3 循环优化 192
8.3.1 找出循环 193
8.3.2 代码外提 194
8.3.3 强度削弱 196
8.3.4 删除归纳变量 196
8.3.5 循环展开 197
8.4 本章小结 197
8.5 习题 197
第9章 目标代码生成 200
9.1 概述 200
9.2 目标机器模型 202
9.3 一个简单的代码生成器 203
9.3.1 待用信息与活跃信息 204
9.3.2 寄存器描述和地址描述 205
9.3.3 简单代码生成算法 206
9.4 寄存器分配 208
9.4.1 全局寄存器分配 209
9.4.2 图着色方法分配寄存器 211
9.5 DAG的目标代码 213
9.6 窥孔优化 215
9.7 本章小结 216
9.8 习题 217
参考文献 219