目录 1
第二版前言 1
第一版前言 1
第一章 总论 1
1.1 引言 1
1.2 程序设计语言与程序 3
1.2.1 程序及其结构 3
1.2.2 程序设计语言的定义 4
1.2.3 程序的执行 7
1.3.1 编译程序的构造 9
1.3 编译程序构造及有关概念 9
1.3.2 趟的概念 11
1.3.3 编译程序的分类 12
1.3.4 实际应用中的编译程序 13
1.4 形式语言理论与编译实现技术 15
本章概要 15
第二章 文法与语言 16
2.1 符号串与符号串集合 16
2.1.1 字母表 16
2.1.2 符号串 17
2.1.3 符号串集合 18
2.2.1 文法的形式定义 20
2.2 文法与语言的形式定义 20
2.2.2 语言的形式定义 27
2.3 语言的分类 30
2.3.1 Chomsky语言类 31
2.3.2 形式语言与自动机 36
2.3.3 形式语言的分类与程序设计语言 40
2.3.4 对上下文无关文法的进一步讨论 41
2.4 文法等价与等价变换 44
2.4.1 文法等价的概念 44
2.4.2 压缩文法等价变换 45
2.4.4 消去单规则等价变换 48
2.4.3 增广文法等价变换 48
2.4.5 范式文法等价变换 49
2.4.6 消去左递归的文法等价变换 50
2.5 语法分析树与句型分析 54
2.5.1 语法分析树的概念 54
2.5.2 句型分析 59
本章概要 64
习题1～5 64
第二章上机实习题 68
3.1.1 词法分析与词法分析程序 70
3.1.2 符号的识别与重写规则的关系 70
3.1 引言 70
第三章 词法分析 70
3.1.3 实现方式 71
3.2 正则表达式与有穷状态自动机 72
3.2.1 状态转换图与转换系统 72
3.2.2 确定有穷状态自动机DFA 77
3.2.3 非确定有穷状态自动机NFA 80
3.2.4 确定有穷状态自动机的化简 86
3.2.5 正则表达式 88
3.3 词法分析程序的实现 98
3.3.1 单词与属性字 98
3.3.2 标识符的处理 104
3.3.3 词法分析程序的编写 111
3.4 词法分析程序的自动生成 114
3.4.1 基本思想 114
3.4.2 扫描程序定义与构造程序 121
3.4.3 自动生成系统LEX简介 124
本章概要 125
习题6 126
第三章上机实习题 128
第四章 语法分析——自顶向下分析技术 129
4.1 引言 129
4.1.1 自顶向下分析技术及识别算法 129
4.1.3 要解决的基本问题 130
4.1.2 讨论的前提 130
4.2 带回溯的自顶向下分析技术 131
4.2.1 基本思想 131
4.2.2 实现算法及举例 134
4.2.3 问题及其解决 138
4.3 无回溯的自顶向下分析技术 141
4.3.1 先决条件 141
4.3.2 递归下降分析技术 142
4.3.3 预测分析技术 149
本章概要 155
习题7 156
第四章上机实习题 157
第五章 语法分析——自底向上分析技术 158
5.1 引言 158
5.1.1 自底向上分析技术及识别算法 158
5.1.2 讨论前提 159
5.1.3 基本实现方法 159
5.2 简单优先分析技术 161
5.2.1 优先关系与优先文法 161
5.2.2 简单优先分析技术的实现 172
5.2.3 优先函数 175
5.2.4 简单优先分析技术的局限性及克服 188
5.3.1 算符优先分析技术的引进 189
5.3 算符优先分析技术 189
5.3.2 算符文法 190
5.3.3 算符优先关系与算符优先文法 192
5.3.4 算符优先文法句型的识别 196
5.3.5 实际应用中的算符优先分析技术 200
5.3.6 算符优先技术与简单优先技术的比较 203
5.4 LR（k）分析技术 204
5.4.1 LR（k）文法与LR（k）分析技术 204
5.4.2 SLR（k）分析表构造方法 217
5.4.3 LALR（k）分析表构造方法 231
5.4.4 识别程序自动构造 237
5.4.5 识别程序自动生成系统YACC简介 241
本章概要 243
习题8～11 244
第五章上机实习题 247
第六章 语义分析与目标代码生成 249
6.1 概况 249
6.1.1 语义分析的概念 249
6.1.2 属性文法 252
6.1.3 类型体制与语义分析 269
6.2 说明部分的翻译 278
6.2.1 常量定义的翻译 278
6.2.2 变量说明的翻译 279
6.2.3 函数定义的翻译 280
6.2.4 结构体类型的翻译 283
6.3 目标代码的生成 284
6.3.1 概况 284
6.3.2 虚拟机 287
6.3.3 控制语句的翻译 290
6.4 源程序的内部中间表示 321
6.4.1 抽象语法树 322
6.4.2 逆波兰表示 324
6.4.3 四元式序列 331
6.4.4 三元式序列 340
本章概要 341
习题12～15 342
第六章上机实习题 345
第七章 运行环境 347
7.1 引言 347
7.1.1 相关的问题 347
7.1.2 名字到存储字的结合 347
7.2 存储分配策略 351
7.2.1 静态存储分配 352
7.2.2 栈式存储分配 352
7.2.3 堆式存储分配 356
7.3.2 符号表的组织 359
7.3 符号表 359
7.3.1 符号表的引进 359
7.3.3 符号表的数据结构 364
7.4 运行时刻支持系统 367
本章概要 368
习题16 368
第八章 代码优化 371
8.1 引言 371
8.1.1 优化的概念 371
8.1.2 代码优化的分类 372
8.1.3 代码优化程序的结构 373
8.2 基本块与流图 374
8.3 基本块的优化 375
8.3.1 基本块优化的种类 375
8.3.2 基本块优化的实现 380
8.4 与循环有关的优化 389
8.4.1 循环优化的种类 389
8.4.2 循环优化的实现 397
8.5 窥孔优化 420
8.5.1 冗余指令删除 420
8.5.2 控制流优化 422
本章概要 423
8.5.4 特殊指令的使用 423
8.5.3 代数化简 423
习题17 424
第八章上机实习题 427
第九章 程序错误的检查和校正 428
9.1 概述 428
9.1.1 错误存在的必然性 428
9.1.2 错误的种类 428
9.1.3 错误复原 430
9.2 词法错误的复原和校正 431
9.2.1 词法错误的种类 431
9.3.1 语法错误的复原 432
9.2.2 词法错误的校正 432
9.3 语法错误的复原和校正 432
9.3.2 语法错误的校正 433
9.4 语义错误 434
9.4.1 语义错误的种类 434
9.4.2 语义错误检查措施 436
本章概要 437
解题规范例解 438
总复习思考题 459
参考文献 462