第1章 编译概述 1
1.1 翻译程序与编译程序 1
1.2 编译过程和编译程序的基本结构 2
1.3 编译程序的生成方法 5
1.4 编译技术在软件开发中的应用 6
本章小结 6
习题 6
第2章 文法和语言的基本知识 7
2.1 概述 7
2.2 字母表和符号串的基本概念 7
2.2.1 字母表和符号串 7
2.2.2 符号串的运算 8
2.3 文法和语言的形式定义 9
2.3.1 形式语言 9
2.3.2 文法的形式定义 10
2.3.3 语言的形式定义 12
2.3.4 规范推导和规范归约 15
2.3.5 递归规则与文法的递归性 16
2.4 短语、直接短语和句柄 17
2.4.1 短语和直接短语 17
2.4.2 句柄 17
2.5 语法树与文法的二义性 18
2.5.1 推导和语法树 18
2.5.2 文法的二义性 21
2.5.3 文法二义性的消除 21
2.6 文法和语言的分类 23
2.7 有关文法的实用限制和变换 25
本章小结 25
习题 26
第3章 词法分析与有穷自动机 28
3.1 词法分析程序的功能 28
3.2 单词符号及输出单词的形式 28
3.2.1 语言的单词符号 28
3.2.2 词法分析程序输出单词的形式 29
3.3 语言单词符号的两种定义方式 29
3.3.1 正规式与正规集 30
3.3.2 正规文法与正规式 31
3.4 正规式与有穷自动机 34
3.4.1 确定有穷自动机（DFA） 34
3.4.2 非确定有穷自动机（NFA） 35
3.4.3 由正规表达式R构造NFA 36
3.4.4 NFA确定化为DFA的方法 37
3.4.5 DFA的化简 40
3.4.6 有穷自动机到正规式的转换 42
3.5 正规文法与有穷自动机 43
3.5.1 右线性正规文法到有穷自动机的转换方法 43
3.5.2 左线性正规文法到有穷自动机的转换方法 44
3.5.3 有穷自动机到正规文法的转换方法 44
3.6 词法分析程序的编写方法 45
本章小结 49
习题 49
第4章 语法分析 52
4.1 语法分析程序的功能 52
4.2 自上而下语法分析法 52
4.2.1 非确定的自上而下分析法的思想 52
4.2.2 文法的左递归性和回溯的消除 53
4.2.3 某些非LL（1）文法到LL（1）文法的改写 57
4.2.4 递归下降分析法 58
4.2.5 预测分析法与预测分析表的构造 60
4.3 自下而上分析法的一般原理 63
4.4 算符优先分析法 64
4.4.1 方法概述 64
4.4.2 算符优先文法的定义 65
4.4.3 算符优先关系表的构造 65
4.4.4 算符优先分析算法的设计 67
4.4.5 优先函数的构造 68
4.4.6 算符优先分析法的局限性 71
4.5 LR分析法 72
4.5.1 LR分析器的工作原理和过程 72
4.5.2 LR（0）分析法 75
4.5.3 SLR（1）分析法 79
4.5.4 LR（1）分析法 83
4.5.5 LALR（1）分析法 86
4.5.6 LR分析法对二义性文法的应用 89
本章小结 91
习题 92
第5章 语法制导翻译技术和中间代码生成 96
5.1 概述 96
5.2 属性文法 96
5.3 语法制导翻译概述 98
5.4 中间语言 100
5.4.1 逆波兰式 100
5.4.2 三元式和树形表示 101
5.4.3 四元式和三地址代码 102
5.5 自底向上语法制导翻译 103
5.5.1 简单算术表达式和赋值语句的翻译 103
5.5.2 布尔表达式的翻译 104
5.5.3 控制语句的翻译 110
5.5.4 循环语句的翻译 113
5.5.5 简单说明语句的翻译 115
5.5.6 含数组元素的赋值语句的翻译 116
5.6 递归下降语法制导的翻译 119
本章小结 121
习题 121
第6章 符号表的组织和管理 123
6.1 符号表的作用 123
6.2 符号表的组织 124
6.3 符号表的建立和查找 128
本章小结 130
习题 131
第7章 代码优化 132
7.1 优化概述 132
7.2 局部优化 135
7.2.1 划分基本块的方法 135
7.2.2 基本块的DAG表示 136
7.2.3 利用DAG进行基本块的优化处理 140
7.3 循环优化 141
7.3.1 程序流图与循环 141
7.3.2 循环查找 142
7.3.3 循环优化 145
7.4 窥孔优化 149
本章小结 151
习题 151
第8章 运行时的存储组织与管理 153
8.1 概述 153
8.2 静态存储分配 154
8.3 栈式存储分配 155
8.3.1 简单栈式存储分配 155
8.3.2 嵌套过程的栈式存储分配 157
8.4 堆式存储分配 158
8.5 临时变量的存储分配 159
本章小结 160
习题 160
第9章 目标代码生成 162
9.1 概述 162
9.2 假想的计算机模型 162
9.3 简单代码生成器 163
9.3.1 待用信息与活跃信息 163
9.3.2 代码生成算法 164
9.3.3 寄存器的分配 165
9.4 代码生成器的自动生成技术 166
本章小结 166
习题 167
第10章 并行编译技术基本常识 168
10.1 并行编译技术的引入 168
10.2 并行编译系统的功能和结构 168
10.2.1 并行编译系统的功能 168
10.2.2 并行编译系统的结构 169
10.3 向量语言编译技术 170
10.3.1 向量语法处理 170
10.3.2 向量结构优化 170
10.4 共享存储器并行机并行编译技术 171
10.4.1 预编译 171
10.4.2 可再入的目标代码 171
本章小结 172
习题 172
附录A 词法分析程序生成器LEX 173
A.1 词法分析程序生成器LEX简介 173
A.2 LEX输入文件的格式 173
A.3 正规表达式的LEX约定 174
A.4 LEX源程序中的规则部分 176
A.5 FLEX的命令选项 177
A.6 LEX程序示例 177
附录B 语法分析程序生成器YACC 178
B.1 语法分析程序YACC简介 178
B.2 YACC输入文件的格式 178
B.3 YACC各部分的书写格式 179
B.3.1 定义部分 179
B.3.2 规则部分 181
B.3.3 辅助程序部分 183
B.4 YACC的内置名称和定义机制 183
B.5 YACC源程序示例 184
附录C 编译程序实验 186
C.1 词法分析 186
C.1.1 实验目的 186
C.1.2 实验要求 186
C.1.3 词法分析程序主要算法思想 187
C.2 语法分析 188
C.2.1 实验目的 188
C.2.2 实验要求 188
C.2.3 语法分析程序的算法思想 189
C.3 语义分析 191
C.3.1 实验目的 191
C.3.2 实验要求 191
C.4 算符优先分析法 193
C.5 实验实例 194
附录D 习题参考答案 212
参考文献 233