本书介绍编译理论的基础及实现方法，强调语言的形式化定义、编译技术和各种概念及实现过程的具体方法。全书共10章，内容包括引论、形式语言和有限自动机理论、词法分析、自顶向下的语法分析、自底向上的语法分析、语法制导翻译与中间代码生成、运行时的存储组织与分配、符号表、代码优化及目标代码生成。介绍过程以算法为核心，力求简洁明了地反映编译的基础知识，为计算机软件工作者开发大型软件打下良好的基础。 本书可作为高等院校计算机专业的本科或专科教材，也可作为硕士研究生及计算机软件技术人员的参考书。