编译原理简明教程

第1章 引言1.1 程序的翻译及运行1.2 编译过程概述1.3 编译程序的结构框图1.4 编译程序的开发1.4.1 编译程序的开发步骤1.4.2 编译程序的开发技术1.4.3 编译程序的自动生成习题1第2章 形式语言理论基础2.1 形式语言的基本概念2.1.1 符号和符号串2.1.2 符号串的运算2.2 文法和语言的形式定义2.3 语法树和二义性2.3.1 语法树和推导2.3.2 文法二义性2.4 文法的实用限制2.4.1 有害规则2.4.2 多余规则2.4.3 文法的实用限制2.4.4 文法的等价变换2.4.5 扩充的BNF 表示法2.5 文法和语言的Chomsky 分类2.5.1 0 型文法与0 型语言（对应图灵机）2.5.2 1 型文法与1 型语言（对应线性界限自动机）2.5.3 2 型文法与2 型语言（对应下推自动机）2.5.4 3 型文法与3 型语言（对应有限自动机）2.5.5 四类文法的关系习题2第3章 自动机理论基础3.1 有限自动机的基本概念3.1.1 有限自动机的定义及表示法3.1.2 有限自动机的机器模型3.1.3 确定有限自动机（DFA）3.1.4 有限自动机在计算机内的表示3.1.5 不确定有限自动机（NFA）3.1.6 由NFA 到DFA 的等价转换3.2 确定有限自动机DFA 的化简3.2.1 等价状态和无关状态3.2.2 自动机的化简3.3 正则表达式形式定义3.4 下推自动机PDA3.4.1 下推自动机的机器模型3.4.2 PDA 的形式定义习题3第4章 词法分析4.1 词法分析概述4.1.1 词法分析的功能4.1.2 词法分析的两种处理结构4.1.3 单词符号的种类4.1.4 词法分析程序的输出形式4.2 词法分析程序的设计与实现4.2.1 词法分析程序流程图4.2.2 读单词4.2.3 读无符号数4.2.4 读标识符4.3 词法分析程序的自动生成4.3.1 基本思想4.3.2 LEX 源程序结构4.3.3 LEX 编译程序工作过程4.3.4 LEX 的实现4.3.5 LEX 的使用方式习题4第5章 语法分析——自顶向下分析方法5.1 自顶向下分析技术5.2 不确定的自顶向下分析思想5.2.1 三种终结符号集5.2.2 自顶向下分析过程中存在的问题及解决办法5.3 确定的自顶向下分析思想5.4 LL（K ）分析方法5.4.1 LL（1）分析思想5.4.2 LL（1）分析方法的逻辑结构5.4.3 LL（1）分析方法5.5 递归下降分析法5.5.1 递归下降分析法的实现思想5.5.2 递归子程序及其性质5.5.3 递归下降分析法习题5第6章 语法分析——自底向上分析方法6.1 自底向上语法分析技术6.1.1 自底向上语法分析思想6.1.2 自底向上分析难点6.2 自底向上优先分析方法6.2.1 简单优先分析方法6.2.2 算符优先分析方法6.3 LR（K）分析方法6.3.1 LR 分析思想及逻辑结构6.3.2 LR（0）分析方法6.3.3 SLR（1）分析方法6.3.4 LR（1）分析方法6.3.5 LALR（1）分析方法习题6第7章 语义分析及中间代码生成7.1 基本概念7.1.1 语义分析的概念7.1.2 属性文法技术7.2 几种常见的中间语言7.2.1 抽象语法树7.2.2 逆波兰表示7.2.3 四元式7.2.4 三元式7.3 表达式的翻译7.3.1 算术表达式的翻译7.3.2 布尔表达式的翻译7.4 语句的语法制导翻译7.4.1 说明语句的翻译7.4.2 赋值语句的翻译7.4.3 控制语句的翻译习题7第8章 代码优化8.1 代码优化的基本概念8.1.1 代码优化的定义8.1.2 代码优化的分类8.1.3 优化技术简介8.2 局部优化8.2.1 基本块的划分8.2.2 基本块的DAG 表示8.2.3 基本块优化的实现8.3 循环优化8.3.1 循环的查找8.3.2 循环优化的实现习题8第9章 目标代码的生成9.1 目标代码生成程序中的有关问题9.1.1 目标代码生成程序的输入、输出9.1.2 目标代码9.1.3 寄存器分配9.1.4 运行时的存储管理9.2 一个计算机模型——虚拟机9.2.1 虚拟机9.2.2 虚拟机的汇编指令9.3 从中间代码生成目标代码9.3.1 从逆波兰表示生成目标代码9.3.2 从四元式序列生成目标代码习题9第10章 符号表10.1 符号表的组织与内容10.2 符号表的结构与存放10.2.1 线性符号表10.2.2 有序符号表10.2.3 散列符号表10.2.4 栈式符号表10.3 符号表的管理10.3.1 符号表的建立10.3.2 符号表的查填习题10第11章 目标程序运行时的存储组织与分配11.1 程序运行时的存储组织11.2 静态存储分配11.3 栈式动态存储分配11.3.1 简单的栈式存储分配11.3.2 嵌套过程语言的栈式存储分配11.4 堆式动态存储分配11.5 过程调用与返回11.6 参数传递机制习题11第12章 出错处理12.1 引言12.1.1 错误存在的必然性12.1.2 错误的种类12.1.3 错误复原12.2 校正词法错误12.2.1 词法错误的种类12.2.2 词法错误的校正12.3 校正语法错误12.3.1 语法错误的复原12.3.2 语法错误的校正12.4 校正语义错误12.4.1 语义错误的种类12.4.2 语义错误检查措施习题12第13章 编译程序自动生成工具简介13.1 引言13.1.1 编译程序自动生成工具概述13.1.2 编译程序自动生成工具的种类及常用工具简介13.2 词法分析自动生成工具13.2.1 LEX 系列词法分析自动生成工具简介13.2.2 其他词法分析自动生成工具简介13.3 语法分析自动生成工具13.3.1 YACC 系列语法分析自动生成工具简介13.3.2 其他语法分析自动生成工具简介习题13第14章 面向对象语言的编译14.1 概述14.1.1 面向对象语言的基本特征14.1.2 类和成员的属性构造14.1.3 面向对象编译程序的特点14.2 面向对象语言的编译14.2.1 单一继承14.2.2 多重继承14.2.3 多态性14.2.4 动态绑定14.2.5 接口类型14.3 面向对象的动态存储分配14.3.1 对象的存储区管理方式14.3.2 静态模型和栈式模型废弃单元的回收14.3.3 堆式模型废弃单元的回收习题14第15章 并行编译技术15.1 并行计算机及其编译系统简介15.1.1 并行计算相关技术简介15.1.2 并行编译系统的分类及结构15.2 并行程序设计模型15.2.1 并行体系结构分类及并行程序设计15.2.2 并行程序设计模型15.3 并行编译系统的构造15.3.1 并行编译系统的构造简介15.3.2 程序分析15.3.3 程序优化15.3.4 并行代码生成15.4 自动并行化技术目前研究现状习题15参考文献

《编译原理简明教程（第2版）》在上一版重印5次的基础上修订而成，共15章，包括形式语言与自动机理论、词法分析、语法分析、语义分析及中间代码生成、代码优化、目标代码的生成、符号表、目标程序运行时的存储组织与分配、出错处理、编译程序自动生成工具简介、面向对象语言的编译以及并行编译技术。在内容的组织上，《编译原理简明教程（第2版）》将编译的基本理论和具体的实现技术有机地结合起来，清楚地阐述相关的概念和原理，并给出部分C语言实现程序；同时，对编译程序自动生成工具的功能和使用方法做了详细的介绍。