编译原理（陈火旺第三版）及武汉理工大学 2种教材

介绍编译器构造的一般原理和基本实现方法 介绍的理论知识：形式语言和自动机理论、语法制导的定义和属性文法、类型论等 强调形式化描述技术 强调对编译原理和技术的宏观理解，不把注意力分散到枝节算法，不偏向于某种源语言或目标机器