编译原理（第3版）/“十二五”普通高等教育本科国家级规划教材

图书标准信息

• 作者 陈意云、张昱 编
• 出版社 高等教育出版社
• 出版时间 2014-09
• 版次 3
• ISBN 9787040404913
• 定价 39.00元
• 装帧 平装
• 开本 16开
• 纸张 胶版纸
• 页数 440页
• 字数 650千字
• 正文语种 简体中文
• 丛书 “十二五”普通高等教育本科国家级规划教材

【内容简介】

　　《编译原理（第3版）/“十二五”普通高等教育本科国家级规划教材》介绍编译器构造的一般原理和基本实现方法，内容包括词法分析、语法分析、语义分析、中间代码生成、目标代码生成、独立于机器的优化和依赖于机器的优化等。除了介绍命令式编程语言的编译技术外，《编译原理（第3版）/“十二五”普通高等教育本科国家级规划教材》还介绍面向对象编程语言和函数式编程语言的实现技术。另外，《编译原理（第3版）/“十二五”普通高等教育本科国家级规划教材》还强调一些相关的理论知识，如形式语言和自动机理论、语法制导的定义和属性文法、类型论和类型系统等。
　　《编译原理（第3版）/“十二五”普通高等教育本科国家级规划教材》内容丰富、讲解深入，注意理论联系实际，可作为高等学校计算机科学及相关专业的教材，也可供计算机软件工程技术人员参考。

【作者简介】

　　陈意云，1946年生，教授，博士生导师。1980年毕业于中国科学技术大学，1982年12月在上海华东计算技术研究所获硕士学位。1983年到中国科学技术大学计算机系工作，1989年到美国芝加哥大学访问两年。长期从事程序设计语言理论和实现技术、程序验证、软件安全等方面的研究工作，主持了7项与这些方向有关的国家自然科学基金项目。长期从事“编译原理”和“程序设计语言理论”等课程的教学工作，2007年获安徽省教学名师奖。本书两位作者在编译原理课程系列教材建设方面的工作获2005年安徽省高等教育省级教学成果三等奖。
　　
　　张昱，1972年生，副教授。1996年毕业于合肥工业大学，获硕士学位；2004年12月毕业于中国科学技术大学，获博士学位。主要从事“数据结构”、“缡译原理”、“程序设计语言理论”等课程的教学工作。主要研究方向是：程序设计语言理论和实现技术，特别是面向新型系统结构的并行语言设计和编译、并行程序分析和验证，即时编译器辅助的垃圾收集技术。

【目录】

第1章引论
1.1编译器概述
1.1.1词法分析
1.1.2语法分析
1.1.3语义分析
1.1.4中间代码生成
1.1.5代码优化
1.1.6代码生成
1.1.7符号表管理
1.1.8阶段的分组
1.1.9解释器
1.2编译器技术的应用
1.2.1高级语言的实现
1.2.2针对计算机体系结构的优化
1.2.3新计算机体系结构的设计
1.2.4程序翻译
1.2.5提高软件开发效率的工具
习题1

第2章词法分析
2.1词法记号及属性
2.1.1词法记号、模式、词法单元
2.1.2词法记号的属性
2.1.3词法错误
2.2词法记号的描述与识别
2.2.1串和语言
2.2.2正规式
2.2.3正规定义
2.2.4状态转换图
2.3有限自动机
2.3.1不确定的有限自动机
2.3.2确定的有限自动机
2.3.3NFA到DFA的变换
2.3.4DFA的化简
2.4从正规式到有限自动机
2.5词法分析器的生成器
习题2

第3章语法分析
3.1上下文无关文法
3.1.1上下文无关文法的定义
3.1.2推导
3.1.3分析树
3.1.4二义性
3.2语言和文法
3.2.1正规式和上下文无关文法的比较
3.2.2分离词法分析器的理由
3.2.3验证文法产生的语言
3.2.4适当的表达式文法
3.2.5消除二义性
3.2.6消除左递归
3.2.7提左因子
3.2.8非上下文无关的语言构造
3.2.9形式语言鸟瞰
3.3自上而下分析
3.3.1自上而下分析的一般方法
3.3.2LL（1）文法
3.3.3递归下降的预测分析
3.3.4非递归的预测分析
3.3.5构造预测分析表
3.3.6预测分析的错误恢复
3.4自下而上分析
3.4.1归约
3.4.2句柄
3.4.3用栈实现移进一归约分析
3.4.4移进一归约分析的冲突
3.5LR分析器
3.5.1LR分析算法
3.5.2LR文法和LR分析方法的特点
3.5.3构造SLR分析表
3.5.4构造规范的LR分析表
3.5.5构造LALR分析表
3.5.6非二义且非LR的上下文无关文法
3.6二义文法的应用
3.6.1使用算符的优先级和结合性来解决冲突
3.6.2使用其他约定来解决冲突
3.6.3LR分析的错误恢复
3.7语法分析器的生成器
3.7.1分析器的生成器Yacc
3.7.2用Yacc处理二义文法
3.7.3Yace的错误恢复
习题3

第4章语法制导的翻译
4.1语法制导的定义
4.1.1语法制导定义的形式
4.1.2综合属性
4.1.3继承属性
4.1.4属性依赖图
4.1.5属性计算次序
4.2S属性定义的自下而上计算
4.2.1语法树
4.2.2构造语法树的语法制导定义
4.2.3S属性的自下而上计算
4.3L属性定义的自上而下计算
4.3.1L属性定义
4.3.2翻译方案
4.3.3预测翻译器的设计
4.3.4用综合属性代替继承属性
4.4L属性的自下而上计算
4.4.1删除翻译方案中嵌入的动作
4.4.2分析栈上的继承属性
4.4.3模拟继承属性的计算
习题4

第5章类型检查
5.1类型在编程语言中的作用
5.1.1执行错误和安全语言
5.1.2类型化语言和类型系统
5.1.3类型化语言的优点
5.2类型系统的描述语言
5.2.1定型断言
5.2.2定型规则
5.2.3类型检查和类型推断
5.3一个简单类型检查器的规范
5.3.1一个简单的语言
5.3.2类型系统
5.3.3类型检查
5.3.4类型转换
5.4多态函数
5.4.1为什么要使用多态函数
5.4.2类型变量
5.4.3一个含多态函数的语言
5.4.4代换、实例与合
5.4.5多态函数的类型检查
5.5类型表达式的等价
5.5.1类型表达式的结构等价
5.5.2类型表达式的名字等价
……
第6章运行时存储空间的组织和管理
第7章中间代码生成
第8章代码生成
第9章独立于机器的优化
第10章依赖于机器的优化
第11章编译系统和运行时系统
第12章面向对象语言的编译
第13章函数式语言的编译