编译原理与实现

　　《编译原理与实现》是继1984年出版的《编译方法》之后，作者以PASCAL语言为模型编写的教材。《编译原理与实现》系统、完整地讲述了编译程序的构造原理及其实现方法。在书的取材及结构安排方面，注重了内容的易懂性和完整性。主要内容有：编译原理的基本概念、自动机与词法分析、形式语言与语法分析、中间代码生成与优化以及目标代码生成等。并附有一定数量的习题，帮助读者理解教材的内容。《编译原理与实现》可作为高等学校计算机软件专业及有关专业的教材，也可供有关科技人员阅读参考。

　　金成植，男，1935年生，教授、博士生导师。从1961年开始从事计算机软件的教学和科研工作，并一直从事程序理论、软件形式化和软件新技术的研究，在编译技术、形式语义学、程序分析及Monad理论与技术方面有较高的造诣。曾出版过《程序设计语言》、《编译器构造原理和实现技术》和《程序理论和技术》等8部著作。承担并负责国家自然科学基金项目和教委博士点基金项目4项，在国内外学术刊物和学术会议上发表论文30余篇。

第一章 编译程序概述
1.1 什么叫编译程序
1.2 编译程序的组成部分
1.3 编译程序的分遍
1.4 编译程序的开发
第二章 自动机与词法分析
2.1 基本概念
2.2 正则表达式
2.3 确定自动机（DA）
2.4 非确定自动机（NDA）
2.5 自动机与正则表达式的关系
2.6 词法分析器的功能和输入、输出形式
2.7 词法分析器的设计
2.8 单词的识别
2.9 状态转换图
2.10 状态转换图的实现
习题
第三章 形式语言与语法分析
3.1 上下文无关文法
3.2 自顶向下语法分析
3.3 自底向上语法分析
习题
第四章 标识符和符号表处理
4.1 类型的语义表示
4.2 标识符的语义表示
4.3 符号表的组织
4.4 抽象地址的处理
4.5 标识符的处理算法
4.6 标号处理
习题
第五章 中间代码与语法制导方法
5.1 中间代码、语法制导方法
5.2 表达式的逆波兰式及其语法制导生成
5.3 表达式的三元式和树及其语法制导生成
5.4 表达式四元式及其语法制导生成
5.5 类型检查与类型转换
5.6 语句的中间代码及其语法制导生成
5.7 复合变量的中间代码及其语法制导生成
5.8 过程语句的中间代码及其语法制导生成
5.9 声明的中间代码及其语法制导生成
习题
第六章 中间代码优化
6.1 代码优化种类
6.2 基本块
6.3 常表达式节省
6.4 公共表达式节省
6.5 不变表达式外提
6.6 削减运算强度
习题
第七章 运行时存储空间与过程调用
7.1 临时变量的存储分配
7.2 静态链、动态链
7.3 过程的活动记录
7.4 活动记录的填写
习题
第八章 目标代码生成
8.1 目标机
8.2 寄存器分配
8.3 表达式四元式的翻译
8.4 复合变量四元式的翻译
8.5 赋值四元式的翻译
8.6 条件语句四元式的翻译
8.7 循环语句四元式的翻译
8.8 转向语句和标号四元式的翻译
8.9 过程、函数声明四元式的翻译
8.10 过程、函数调用四元式的翻译
习题
主要参考书