编译原理教程（第3版）

第一章 绪论 1.1 程序设计语言和编译程序 1.2 编译程序的历史及发展 1.3 编译过程和编译程序结构 1.4 编译程序的开发 1.5 构造编译程序所应具备的知识内容 习题第二章 词法分析 2.1 词法分析器的设计方法 2.1.1 单词符号的分类与输出形式 2.1.2 状态转换图 2.2 一个简单的词法分析器示例 2.2.1 C语言子集的单词符号表示 2.2.2 C语言子集对应的状态转换图 2.2.3 状态转换图的实现 2.3 正规表达式与有限自动机简介 2.3.1 正规表达式与正规集 2.3.2 有限自动机 2.4 正规表达式到有限自动机的构造 2.4.1 由正规表达式构造等价的非确定有限自动机(NIFA) 2.4.2 NFA的确定化 2.4.3 确定有限自动机(I)FA)的化简 2.4.4 正规表达式到有限自动机构造示例 2.5 词法分析器的自动生成 习题二第三章 语法分析 3.1 文法和语言 3.1.1 文法和语言的基本概念 3.1.2 形式语言分类 3.1.3 正规表达式与上下文无关文法 3.2 推导与语法树 3.2.1 推导与短语 3.2.2 语法树与二义性 3.3 自顶向下的语法分析 3.3.1 递归下降分析法 3.3.2 LL(1)分析法 3.4 自底向上的语法分析 3.4.1 自底向上分析原理 3.4.2 算符优先分析法 3.5 规范归约的自底向上语法分析方法 3.5.1 LR分析器的工作原理 3.5.2 LR(0)分析器 3.5.3 SLR(1)分析器 3.5.4 LR(1)分析器 3.5.5 LALR分析器 3.5.6 二义文法的应用 3.5.7 LR分析器应用与拓展 习题三第四章 语义分析和中间代码生成 4.1 概述 4.1.1 语义分析的概念 4.1.2 语法制导翻译方法 4.2 属性文法 4.2.1 文法的属性 4.2.2 属性文法 4.3 几种常见的中间语言 4.3.1 抽象语法树 4.3.2 逆波兰表示法 4.3.3 三地址代码 4.4 表达式及赋值语句的翻译 4.4.1 简单算术表达式和赋值语句的翻译 4.4.2 布尔表达式的翻译 4.5 控制语句的翻译 4.5.1 条件语句if的翻译 4.5.2 条件循环语句while的翻译 4.5.3 三种基本控制结构的翻译 4.5.4 多分支控制语句case的翻译 4.5.5 语句标号和转移语句的翻译 4.6 数组元素的翻译 4.6.1 数组元素的地址计算及中间代码形式 4.6.2 赋值语句中数组元素的翻译 4.6.3 数组元素翻译示例 4.7 过程或函数调用语句的翻译 4.7.1 过程或函数调用的方法 4.7.2 过程或函数调用语句的四元式生成 4.8 说明语句的翻译 4.8.1 变量说明的翻译 4.8.2 数组说明的翻译 4.9 递归下降语法制导翻译方法简介 习题四第五章 代码优化 5.1 局部优化 5.1.1 基本块的划分方法 5.1.2 基本块的DAG方法 5.1.3 用DAG进行基本块的优化处理 5.1.4 DAG构造算法的进一步讨论 5.2 循环优化 5.2.1 程序流图与循环 5.2.2 循环的查找 5.2.3 循环优化 *5.3 全局优化概述 5.3.1 到达一定值与引用一定值链 5.3.2 定值一引用链(du链) 5.3.3 写传播 *5.4 代码优化示例 习题五第六章 目标程序运行时存储空间的组织 6.1 静态存储分配 6.2 简单的栈式存储分配 6.2.1 栈式存储分配与活动记录 6.2.2 过程的执行 6.3 嵌套过程语言的栈式实现 6.3.1 嵌套层次显示(DISPLAY)表和活动记录 6.3.2 嵌套过程的执行 6.3.3 访问非局部名的另一种实现方法 6.4 堆式动态存储分配 6.4.1 堆式存储的概念 6.4.2 堆式存储的管理方法 *6.5 参数传递补遗 6.5.1 参数传递的方法 6.5.2 不同参数传递方法比较 习题六第七章 目标代码生成 7.1 简单代码生成器 7.1.1 待用信息与活跃信息 7.1.2 代码生成算法 7.1.3 寄存器分配 7.1.4 源程序到目标代码生成示例 *7.2 汇编指令到机器代码翻译概述 习题七第八章 符号表与错误处理 8.1 符号表 8.1.1 符号表的作用 8.1.2 符号表的组织 8.1.3 分程序结构语言符号表建立 8.1.4 非分程序结构语言符号表建立 8.1.5 常用符号表结构 8.1.6 符号表内容 8.2 错误处理 8.2.1 语法错误校正 8.2.2 语义错误校正 习题八附录1 8086/8088指令码汇总表附录2 8086/8088指令编码空间表参考文献