本书的教学是面向大众的高等教育。全书主要介绍设计和构造编译程序的基本原理和方法。 本书适用于高等院校计算机专业本科教材，也可供教师、研究生及有关科技工作者学习和参考。

编译原理课程是一门专门学习与研究程序设计语言的实现技术的课程，在计算机科学领域有着及其重要的地位。全书以浅显的语言引入编译原理的基本概念，分章对程序语言、语言分析基础，程序设计语言常用语法与翻译方法、词法分析、自上而下的语法分析、自下而上的语法分析、运行时存储空间管理、优化及目标代码生成等内容进行了详细的讲解。

本书适用于高等院校计算机专业本科教材，也可供教师、研究生及有关科技工作者学习和参考。

第1章 编译的基本概念

 1.1 为什么需要编译程序

 1.2 编译的基本过程

 习题

第2章 程序语言

 2.1 高级语言

2.1.1 高级语言的分类

2.1.2 数据类型及其操作

2.1.3 语句与表达式

2.1.4 程序的结构

 2.2 中间语言

2.2.1 逆波兰表示法

2.2.2 三地址代码

 习题

第3章 语言分析基础

 3.1 语言和语法

 3.2 产生式

 3.3 上下无关文法及其语言

3.3.1 上下无关文法的基本概念

3.3.2 上下无关文法所定义的语言

 3.4 语法树与抽象语法树

3.4.1 语法树

3.4.2 二义文法

3.4.3 抽象语法树

 3.5 上下无关文法的设计

3.5.1 文法设计基础

3.5.2 消除二义性

 3.6 形式语言浅述

3.6.1 语言的组成

3.6.2 产生式文法

3.6.3 乔姆斯基文法分类

 习题

第4章 程序设计语言常用语法与翻译方法

 4.1 程序设计语言常用语法

4.1.1 表达式语法(算术)

4.1.2 赋值语句

4.1.3 if语句

4.1.4 循环语句

4.1.5 说明语句

4.1.6 函数的定义与调用

4.1.7 程序语句序列文法

 4.2 中间代码的翻译

4.2.1 表达式中间代码生成

4.2.2 if语句中间代码生成

4.2.3 布尔表达式代码生成

4.2.4 循环语句中间代码

4.2.5 综合实例

 习题

第5章 词法分析

 5.1 词法与正规式

 5.2 有限状态自动机

5.2.1 确定有限自动机

5.2.2 非确定有限自动机

5.2.3 从DFA到NFA的转换

5.2.4 从NFA到DFA的转换

5.2.5 确定有限自动机的化简

 5.3 从自动机到正规式的转换

 5.4 正规文法与有限自动机的等价性

 5.5 正规文法与正规式

 习题

第6章 自上而下的语法分析

 6.1 自上而下语法分析概论

 6.2 适合自上而下分析的文法

6.2.1 左递归的消除

6.2.2 消除回溯与提取左因子

6.3 LL(1)分析法

6.3.1 LL(1)分析的基本方法

6.3.2 LL(1)文法

6.3.3 求FIRST集合

6.3.4 求FOLLOW 集合

6.3.5 预测分析程序

 6.4 递归下降分析程序

 习题

第7章 自下而上的语法分析

 7.1 自下而上语法分析概论

7.1.1 归约的概念

7.1.2 归约的问题

7.1.3 规范归约

 7.2 算符优先分析

7.2.1 优先关系与算符优先文法

7.2.2 算符优先关系表的构造算法

7.2.3 算符优先分析算法

7.2.4 优先函数

 7.3 LR分析法

7.3.1 LR分析

7.3.2 LR(0)项目集和LR(0)分析表的构造

7.3.3 SLR分析表的构造

7.3.4 规范LR分析表的构造

7.3.5 LALR分析表的构造

 习题

第8章 语法制导翻译

 8.1 属性文法

8.1.1 属性文法的概念

8.1.2 依赖图

8.1.3 综合属性与S属性文法

8.1.4 继承属性及其计算

 8.2 符号表

8.2.1 符号表的组织与作用

8.2.2 符号表数据内容及查找

8.2.3 名字的作用域

 8.3 翻译中间代码属性

8.3.1 算术表达式及赋值语句的翻译

8.3.2 控制语句的翻译

 习题

第9章 运行时存储空间管理

 9.1 程序运行时的存储环境

 9.2 静态存储分配

 9.3 基于栈的运行时存储器管理

9.3.1 简单的栈式存储管理

9.3.2 过程可局部定义的栈式存储管理

 9.4 参数传递机制

9.4.1 值传递

9.4.2 地址传递

9.4.3 值结果传递

9.4.4 名字传递

 习题

第10章 优化及目标代码生成

 10.1 局部优化

10.1.1 基本块

10.1.2 基本块中的等价代换

 10.2 全局优化

 10.3 循环优化

10.3.1 外提不变式

10.3.2 强度削弱

10.3.3 删除基本归纳变量

 10.4 目标代码生成

10.4.1 基本问题

10.4.2 目标机器模型

10.4.3 一个简单的代码生成器

10.4.4 寄存器的分配

 习题

部分习题详解

参考文献