本书通过把编程语言的编译同人类对自然语言的理解过程进行类比来阐述编译程序的思想，采用标记法来创建源语言、中间语言和目标语言符号，生动地描述了多层次编译程序的编译过程；详细介绍了LL(1)和LR(1)的分析方法，不仅可以帮助读者了解如何做，还使他们知道为什么这样做；介绍了编译程序的设计方法，并重点介绍代数形式化方法。

本书适合计算机和电子专业本科生和研究生作为教材，也可供相关学科研究人员参考。