编译原理/21世纪大学本科计算机专业系列教材

图书标准信息

• 作者 康慕宁 著
• 出版社 清华大学出版社
• 出版时间 2009-07
• 版次 1
• ISBN 9787302197058
• 定价 19.80元
• 装帧 平装
• 开本 16开
• 纸张 胶版纸
• 页数 207页
• 字数 280千字
• 丛书 21世纪大学本科计算机专业系列教材

【内容简介】

《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.6NDFA的确定化及化简
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章目标代码生成
参考文献