本书介绍编译理论的基础及实现方法，强调语言的形式化定义、编译技术和各种概念及实现过程的具体方法。全书共9章，内容包括编译引论、形式语言和有限自动机理论、词法分析、语法分析、语法制导翻译与中间代码生成、运行时的存储组织与分配、符号表、代码优化、目标代码生成。介绍过程以算法为核心，力求简单明了地反映编译的基础知识，为计算机软件工作者开发大型软件打下良好的基础。

本书可作为高等工科院校计算机专业的本科或专科教材，也可作为硕士研究生及计算机软件技术人员的参考书。