本书将形式语言理论与编译融合，强调理论性与化难为易，回答了编译知识的“所以然”问题，展现出编译知识对于计算机理论基础构建的不可替代作用。有一个贯通全书的主文法，缓解了编译知识碎片化问题，增强了系统性和完整性。采用文法变体从语言定义角度灵活剪裁和扩展，适应了教学需求的变化。有一个针对编译任务设计的基于Lisp的主符号系统，易于形式化表达编译理论的应用和编译过程，并容易转换为编译程序。最后本书提供的编译知识体系适应CC2020胜任力模型。