本模块由三部分内容组成,即程序设计语言,形式语言理论基础和编译程序构造原理。以一个典型的程序设计语言为背景,系统地讲授编译程序构造的基本概念与设计技术, 编译原理包括词法分析、语法分析、语义分析和目标代码生成、代码优化,以及设计环境与程序错误的检查和校正等内容。