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