程序设计语言编译原理

编译理论和技术是计算 机科学技术的重要组成部分 。编译原理课程是计算机专 业的核心课程，对于学习计 算机科学理论、培养计算机 系统能力具有重要的意义。 本书主要介绍程序设计语言 编译程序构造的理论方法和 实现技术，主要包括以下知 识单元：编译程序基本概念 、词法分析、语法分析、语 义分析和中间代码产生、运 行时存储空间组织、优化、 目标代码生成和高级编译优 化等。

王挺，国防科技大学计算机学院教授。多年从事计算机软件相关的科研和教学工作，是国家级精品课程和国家级一流课程负责人。负责多项国家级科研课题。获国家级教学成果奖二等奖1项，省部级科技进步奖二等奖、三等奖各1项，入选“全国高校计算机专业优秀教师奖励计划”。

第一章 引论 1.1 什么是编译程序 1.2 编译过程概述 1.3 编译程序的结构 1.3.1 编译程序总框图 1.3.2 表格与表格管理 1.3.3 出错处理 1.3.4 遍 1.3.5 编译前端与后端 1.4 编译程序与程序设计环境 1.5 编译程序的生成 1.6 如何学习编译原理 本章小结 习题 第二章 高级程序设计语言及其语法描述 2.1 程序设计语言的定义 2.1.1 语法 2.1.2 语义 2.2 高级程序设计语言的一般特征 2.2.1 高级程序设计语言的分类 2.2.2 程序结构 2.2.3 数据类型与操作 2.2.4 语句与控制结构 2.3 高级程序设计语言的语法描述 2.3.1 基本概念 2.3.2 上下文无关文法定义 2.3.3 推导、句型和句子 2.3.4 语法分析树与二义性 2.3.5 形式语言鸟瞰 本章小结 习题 第三章 词法分析 3.1 对于词法分析器的要求 3.1.1 词法分析器的功能和输出形式 3.1.2 词法分析与语法分析的衔接 3.2 词法分析器的设计 3.2.1 输入、预处理 3.2.2 单词符号的识别：超前搜索 3.2.3 状态转换图 3.2.4 状态转换图的实现 3.3 正规表达式与有限自动机 3.3.1 正规式与正规集 3.3.2 确定有限自动机(DFA) 3.3.3 非确定有限自动机(NFA) 3.3.4 正规文法与有限自动机的等价性 3.3.5 正规式与有限自动机的等价性 3.3.6 确定有限自动机的化简 3.4 词法分析器的自动产生 3.4.1 语言LEX的一般描述 …… 第四章 语法分析 第五章 属性文法和语法制导翻译 第六章 语义分析和中间代码产生 第七章 运行时存储空间组织 第八章 优化 第九章 目标代码生成 第十章 高级编译优化 参考文献