编译原理

　　《21世纪大学本科计算机专业系列教材：编译原理》系统地阐述了编译系统的结构、工作流程、设计原理和实现技术。主要内容包括程序设计语言基本知识、词法分析、语法分析、语义分析与属性文法、语法制导的代码生成、运行时存储空间组织、代码生成与优化等。通过书中的学习，使学生掌握编译理论和方法的基本知识，具有设计实现、分析和维护编译程序方面的初步能力，提高学生科学思维能力和综合运用专业知识的能力与解决实际问题的能力。书中每章开始有本章内容简介，每章后面都有与内容紧密相关、难度适宜的习题，可以使学生更好地掌握本章所学的知识内容。《21世纪大学本科计算机专业系列教材：编译原理》适合作为高等学校计算机及相关专业的教材，也可以作为考研学生的一本参考书。

　　康慕宁，1982年西北大学计算机系本科毕业，获理学学士学位；1984年西北工业大学计算机系研究生毕业，获工学硕士学位。现为西北工业大学计算机学院软件与理论系教授，中国计算机学会高级会员。多年在教学一线主讲计算机专业本科及研究生编译原理、形式语言与自动机、组合数学等课程。参加多项科研项目，发表论文数十篇。编写的“十五”国家级规划教材《编译原理》获得2002年国家级优秀教材二等奖。主讲的编译原理课程被评为陕西省精品课程。

第1章　编译程序理论概述
1.1　导言
1.2　语言及其翻译
1.3　语法的功能
1.4　程序设计语言的发展
1.5　编译程序的结构
1.5.1　词法分析
1.5.2　字符串表
1.5.3　语法分析
1.5.4　语义分析
1.5.5　符号表
　　1.5.6　代码优化程序
　　1.5.7　代码生成程序
1.6　特殊约定
缩写词与关键字
习题
第2章　语法及其分类
2.1　概述
2.2 文法
2.2.1　字母表与字符串
2.2.2　非终结符与产生式
2.2.3　文法的例子
2.3　文法及语言的Chomskey分类
2.4　规范推导
2.5　文法的二义性
习题
第3章　扫描器与正规语言
3.1　词法分析程序简介
3.2　正规表达式
3.2.1　正规表达式代数
3.2.2　正规表达式的性质
3.3　有限状态自动机
3.4　非确定的有限状态自动机
3.5　将正规文法转换为自动机
3.6　NDFA的确定化及化简
3.7　从有限状态自动机转换到正规文法
3.8　有限自动机在计算机中的实现
3.9　扫描器实现中的特殊问题
3.9.1　输入符号表
3.9.2　扫描器自动机中的终止状态
3.9.3　删除空白符号与注释
3.9.4　输出单词
3.10　字符串表的实现
3.11　保留字
3.12　使用扫描器自动生成工具
缩写词与关键字
习题
第4章　语法分析与前后文无关文法
4.1 导论
4.2　下推自动机
4.2.1　停机条件的等价性
4.2.2 从前后文无关文法CFG构造PDA
　……
第5章　语义分析与属性文法
第6章　语法制导的代码生成
第7章　符号表
第8章　运行时存储空间的组织与管理
第9章　代码优化
第10章　目标代码生成
参考文献