主要介绍编译理论的基础及实现方法。

强调语言的形式化定义、编译技术等的具体实现过程和方法。

以算法为核心，讲解力求简单明了。