本书是编译器编写方面的入门教材，适用于一个学期的高年级本科课程。它坚持在这一主题的理论和实践方法之间维持一种平衡。从理论角度来看，它介绍了编译及其核心阶段的基本模型。基于这些模型，它讲解了编译器中用到的概念、方法和技术。它还简述了编译以及相关话题的数学基础，这些话题包括形式语言理论、自动机和变换机。同时，从实践的视角来看，本书描述了编译器技术是如何实现的。一个案例学习贯穿全书，它设计一种新的类Pascal程序设计语言，并构造其编译器；在讨论编译器各种方法的同时，这个案例学习用作其实现的实例说明。此外，本书提供了许多详细的例子和计算机程序，以强调编译算法的实际应用。书中也涵盖了核心软件工具。学完本书之后，学生应该能够掌握编译过程，编写简单的真实编译器，并可以继续学习关于该主题的更深入的书籍。

编译器是计算机系统最核心最基础的支撑软件之一。由AlexanderMeduna教授编写的这本书是一本编译器设计方面的入门教材，他所坚持的理念是在理论和实践方法之间维持一种平衡。本书对于基本原理的讲解很到位，在系统性以及理论与实践方法之间的融合方面优于多数目前我们所能见到的教材。通过本书的学习，读者既可以深入学习基础理论如何指导实际编译器中的词法、语法及语义分析程序的设计，又可以轻松了解有关（中间与目标）代码生成和代码优化的整体知识框架。每章后面提供了丰富的习题，并给出了部分习题的解答。本书附录包含，一个C++源代码，它实现了一个真实编译器的重要部分。更多的支持材料，包括课程讲稿、教学指导、家庭作业、勘误、考试、练习解答以及编译器的实现。

第1章 导引

 1.1 数学基础

1.1.1 集合与序列

1.1.2 语言

1.1.3 关系与翻译

1.1.4 图

1.1.5 证明

 1.2 编译

1.2.1 编译阶段

1.2.2 编译器构造

 1.3 重写系统

1.3.1 语言模型

 本书要点

 习题

 部分习题解答

第2章 词法分析

 2.1 模型

2.1.1 正规表达式

2.1.2 有穷自动机

2.1.3 有穷自动机的表示

2.1.4 简化

2.1.5 有穷变换机

 2.2 方法

2.2.1 单词与单词记号

2.2.2 词法分析器

2.2.3 额外的任务

 2.3 理论

2.3.1 正规表达式到有穷自动机的变换

2.3.2 有穷自动机的化简

2.3.3 非正规词法构造

2.3.4 判定问题

 习题

 部分习题解答

第3章 语法分析

 3.1 模型

3.1.1 文法

3.1.2 下推自动机

 3.2 方法

3.2.1 自上而下分析

3.2.2 递归下降分析程序

3.2.3 消除左递归

3.2.4 自下而上分析

 3.3 理论

3.3.1 分析模型的能力

3.3.2 验证文法形式的语法描述

3.3.3 文法的简化

3.3.4 文法的范式和基于它们的分析

3.3.5 文法不能描述的语法

3.3.6 判定问题

 习题

 部分习题解答

第4章 确定的自上而下分析

 4.1 预测集合和LL文法

 4.2 预测分析

4.2.1 递归下降预测分析

4.2.2 表驱动的预测分析

4.2.3 处理错误

 习题

 部分习题解答

第5章 确定的自下而上分析

 5.1 优先分析

5.1.1 算符优先分析算法

5.1.2 算符优先表的构造

5.1.3 处理错误

5.1.4 扩展

5.1.5 限制

 5.2 LR语法分析

5.2.1 LR分析算法

5.2.2 构造LR表

5.2.3 LR分析中的错误处理

 习题

 部分习题解答

第6章 语法制导翻译和中间代码生成

 6.1 自下而上语法制导翻译和中间代码生成

6.1.1 语法树

6.1.2三地址码

6.1.3 波兰式

 6.2 自上而下的语法制导翻译

 6.3 语义分析

 6.4 符号表

6.4.1 组织

6.4.2 存储标识符名字

6.4.3 块结构的符号表

 6.5 语法制导翻译的软件工具

6.5.1 Lex

6.5.2 Yacc

 习题

 部分习题解答

第7章 优化和目标代码生成

 7.1 跟踪变量的使用

7.1.1 基本块

7.1.2 基本块内变量的使用

7.1.3 基本块之间变量的使用

 7.2 中间代码优化

 7.3 目标代码的优化和生成

 习题

 部分习题解答

结束语

 文献纪要

 研究生层次的话题

 当前趋势

附录A 实现

 A.1 概念

类接口

 A.2 代码

参考文献