普通高等教育“十一五”国家级规划教材：计算机编译原理（第3版）

　　目录前言第1章 总论 11.1 引言 11.2 程序设计语言与程序 31.2.1 程序及其结构 31.2.2 程序设计语言的定义 41.2.3 程序的执行 71.3 编译程序构造及有关概念 91.3.1 编译程序的构造 91.3.2 遍的概念 111.3.3 编译程序的分类 121.3.4 实际应用中的编译程序 131.4 形式语言理论与编译实现技术 15本章概要 15第2章 文法与语言 172.1 符号串与符号串集合 172.1.1 字母表 172.1.2 符号串 172.1.3 符号串集合 192.2 文法与语言的形式定义 202.2.1 文法的形式定义 202.2.2 语言的形式定义 312.3 语言的分类 352.3.1 Chomsky文法类和语言类 352.3.2 形式语言与自动机 412.3.3 形式语言的分类与程序设计语言 442.3.4 对上下文无关文法的进一步讨论 452.4 文法等价与等价变换 472.4.1 文法等价的概念 472.4.2 压缩文法等价变换 482.4.3 消去左递归的文法等价变换 512.5 语法分析树与句型分析 552.5.1 语法分析树的概念 552.5.2 句型分析 61本章概要 65习题1 65习题2 66习题3 66习题4 67习题5 67第2章上机实习题 68第3章 词法分析 693.1 引言 693.1.1 词法分析与词法分析程序 693.1.2 符号的识别与重写规则的关系 693.1.3 实现方式 703.2 正则表达式与有穷状态自动机 713.2.1 状态转换图 713.2.2 确定有穷状态自动机DFA 753.2.3 非确定有穷状态自动机NFA 783.2.4 确定有穷状态自动机的化简 843.2.5 正则表达式 863.3 词法分析程序的实现 893.3.1 符号与属性字 893.3.2 标识符的处理 943.3.3 词法分析程序的编写 1003.4 词法分析程序的自动生成 1053.4.1 基本思想 1053.4.2 扫描程序定义与构造程序 1113.4.3 自动生成系统LEX筒介 114本章概要 115习题6 116第3章上机实习题 117第4章 语法分析——自顶向下分析技术 1194.1 引言 1194.1.1 自顶向下分析技术及识别算法 1194.1.2 讨论的前提 1194.1.3 要解决的基本问题 1204.2 带回溯的自顶向下分析技术 1214.2.1 基本思想 1214.2.2 语法分析树的建立及其表列表示 1234.2.3 问题及其解决 1244.3 无回溯的自顶向下分析技术 1254.3.1 先决条件 1254.3.2 递归下降分析技术 1254.3.3 预测分析技术 132本章概要 142习题7 143第4章上机实习题 143第5章 语法分析——自底向上分析技术 1455.1 引言 1455.1.1 自底向上分析技术及识别算法 1455.1.2 讨论前提 1455.1.3 基本实现方法：移入-归约法 1465.2 算符优先分析技术 1485.2.1 算符优先分析技术的引进 1485.2.2 算符文法 1485.2.3 算符优先关系与算符优先文法 1505.2.4 算符优先文法句型的识别 1545.2.5 优先函数 1585.2.6 实际应用中的算符优先分析技术 1685.3 LR(k)分析技术 1705.3.1 LR(k)文法与LR(k)分析技术 1705.3.2 SLR(k)分析表构造万法 1825.3.3 LALR(k)分析表构造方法 1965.3.4 识别程序自动构造 2015.3.5 识别程序自动生成系统YACC简介 2055.4 LR(1)识别程序句型分析的实现 207本章概要 210习题8 211习题9 212习题10 212第5章上机实习题 213第6章 语义分析与目标代码生成 2146.1 概况 2146.1.1 语义分析的概念 2146.1.2 属性文法 2166.1.3 类型体制与语义分析 2336.2 说明部分的翻译 2416.2.1 常量定义的翻译 2426.2.2 变量说明的翻译 2426.2.3 函数定义的翻译 2446.2.4 结构体类型的翻译 2476.3 目标代码的生成 2486.3.1 概况 2486.3.2 虚拟机 2516.3.3 控制语句的翻译 2536.4 语义分析的实现考虑 2836.4.1 注释分析树的构造 2836.4.2 语义动作的实现 2886.4.3 语义子程序的例子 2956.5 源程序的中间表示代码 2966.5.1 抽象语法树 2976.5.2 逆波兰表示 3006.5.3 四元式序列 3066.5.4 三元式序列 315本章概要 316习题11 317习题12 317习题13 318习题14 319第6章上机实习题 320第7章 运行环境 3217.1 引言 3217.1.1 相关的问题 3217.1.2 名字到存储字的结合 3217.2 存储分配策略 3257.2.1 静态存储分配 3257.2.2 栈式存储分配 3267.2.3 堆式存储分配 3297.3 寄存器分配 3327.3.1 使用图着色方法进行寄存器分配的思路 3327.3.2 例子 3337.3.3 若干问题讨论 3357.4 符号表 3367.4.1 符号表的引进 3367.4.2 符号表的组织 3377.4.3 符号表的数据结构 3417.5 运行时刻支持系统 344本章概要 345习题15 346第8章 代码优化 3488.1 引言 3488.1.1 优化的概念 3488.1.2 代码优化的分类 3498.1.3 代码优化程序的结构 3508.2 基本块与流图 3518.3 基本块的优化 3528.3.1 基本块优化的种类 3528.3.2 基本块优化的实现 3568.4 与循环有关的优化 3658.4.1 循环优化的种类 3668.4.2 循环优化的实现 3738.5 窥孔优化 3958.5.1 冗余指令删除 3958.5.2 控制流优化 3978.5.3 代数化简 3988.5.4 特殊指令的使用 398本章概要 398习题16 399第8章上机实习题 401第9章 程序错误的检查和校正 4029.1 概述 4029.1.1 错误存在的必然性 4029.1.2 错误的种类 4029.1.3 错误复原 4049.2 词法错误的复原和校正 4059.2.1 词法错误的种类 4059.2.2 词法错误的校正 4059.3 语法错误的复原和校正 4069.3.1 语法错误的复原 4069.3.2 语法错误的校正 4079.4 语义错误 4089.4.1 语义错误的种类 4089.4.2 语义错误检查措施 409本章概要 411解题规范例解 412总复习思考题 439参考文献 441

　　《计算机编译原理（第三版）》是普通高等教育“十一五”国家级规划教材。计算机编译原理是计算机专业的重要专业基础课之一。《计算机编译原理（第三版）》系统地介绍高级程序设计语言编译程序的构造原理，重点讨论词法分析、语法分析、语义分析以及目标代码的生成与代码优化。各章末有本章概要、习题与上机实习题。书末附有解题规范例解与总复习思考题。《计算机编译原理（第三版）》特别讨论了编译各阶段的实现考虑，读者可从这些实际可行的实现方法和技巧中得到借鉴和启发。为了便于教学，《计算机编译原理（第三版）》另配有电子教案和习题解答可供选用，还提供配套教材《计算机编译原理——编译程序构造实践》，可供上机实践参考。