本书在讲述与编译相关的文法和形式语言基本理论的基础上，以PL/0语言为例，系统地介绍了编译程序从语法定义、词法分析、语法分析、出错处理、代码生成到解释执行的全过程。并详细讲解了作者研究开发的SI-NS图表示方法和程序到SI-NS图的自动转换技术。本书有很强制实用性，学生在学完本书后可具备独立设计和完整地开发一个编译程序的能力。本书每章后配有习题，可供学生巩固练习。
本书适合作为普通高等院校计算机专业学生的教材，也可供其他自学人员和编程技术人员参考。

第1章 引论
1.1 什么是编译程序
1.2 编译过程概述
1.3 编译程序的结构
1.4 为什么要学习编译技术
1.5 习题
第2章 形式语言基本知识
2.1 形式语言的特征
2.2 一个形式语言例子
2.3 形式语言的归纳定义
2.4 文法的分类
2.4.1 0型文法
2.4.2 1型文法（上下文有关文法）
2.4.3 2型文法（上下文无关文法）
2.4.4 3型文法（正则文法）
2.4.5 文法的类型决定了语言的类型
2.5 语法树与文法的二义性
2.5.1 什么是文法的二义性
2.5.2 修改二义性的文法
2.5.3 计算机语言文法中的二义怀问题
2.5.4 EBNF描述符
2.6 习题
第3章 语句分析
3.1 语句分析概述
3.2 自顶向下分析
3.3 自底向上分析
3.4 简单辨认算法
3.5 对文法的限制规则1
3.6 对文法的限制规则2
3.7 如何构造等价的LL（1）文法
3.8 习题
第4章 语法图
4.1 从EBNF表示式到语法图的转换
4.2 语法图转换实例
4.3 从语法图判别两条限制规则
4.4 习题
第5章 给定语法的语法分析程序构造
5.1 给定语法的语法分析程序的主程序
5.2 从语法图到语法分析程序的转换法则
5.3 给定语法的语法分析程序构造实例
5.3.1 语法分析程序构造实例
5.3.2 SI-NS图形式的语法分析程序构造实例
5.3.3 语法分析程序的编译和执行示例
5.4 习题
第6章 程序设计语言PL/0
6.1 PL/0语言概述
6.1.1 PL/0语言的功能
6.1.2 一个PL/0程序实例
6.2 EBNF定义的PL/0语法
6.3 PL/0语法图
6.4 判别是否符合两条限制规则
6.5 习题
第7章 PL/0语言的词法分析程序构造
第8章 PL/0语言的语法分析程序构造
第9章 语法出错处理
第10章 目标计算机及其解释程序
第11章 语义分析与代码生成
第12章 T形图与编译开发移植技术
第13章 课程设计
附录

书评
本书特色：
1.取材合适：以提高学生研究开发能力为目标，不仅讲述编译有关的形式语言和语法分析理论，更注重介绍设计开发编译程序的过程、方法和技术。
2.技术领先：本教材所有编译实例程序，都采用了编者研究开发的程序到SI-NS图自动变换技术，这项技术在国际上处于领先地位。
3.师生互动：要求学生在教师的指导下，用定义的语言编写程序，然后用自己开发的编译程序对它编译。
4.编排合理：教材和课程设计贯穿软件提倡的自顶向下、逐步扩充、逐步求的结构化程序设计思想和SI-NS图软件开发方法。