编译原理

第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.1 0字符串表的实现

3.1 1保留字

3.1 2使用扫描器自动生成工具

缩写词与关键字

习题

第4章 语法分析与前后文无关文法

4.1 导论

4.2 下推自动机

4.2.1 停机条件的等价性

4.2.2 从前后文无关文法CFG构造PDA

4.3 LL(k)规范文法

4.3.1 FIRST集与FOLLOW集

4.3.2 选择集合

4.4 文法的左递归性

4.5 公共左因子

4.6 用正规表达式运算符拓广CFG

4.7 递归下降分析程序

4.8 作为下推自动机的递归下降分析程序

4.9 自底向上的语法分析器的构造

4.9.1 自底向上的语法分析

4.9.2 LR(k）分析法

4.1 0错误的发现

4.1 1使用语法分析器生成工具

关键字

习题

第5章 语义分析与属性文法

5.1 引言

5.2 属性文法AG

5.2.1 继承属性和综合属性

5.2.2 属性值流

5.3 非终结符号作为属性计值函数

5.4 符号表作为属性

5.5 一个微Pascal语言的属性文法AG

5.6 域和标识符种类

5.6.1 标识符作用域文法

5.6.2 标识符作用域例子的分析

5.6.3 符号表的其他事项

5.7 在递归下降分析中实现属性

5.8 LR分析器的属性赋值

5.9 实现一个符号表

符号

关键字

习题

第6章 语法制导的代码生成

6.1 引言

6.2 常见的中间语言简介

6.2.1 逆波兰表示

6.2.2 四元式

6.2.3 其他表示法

6.3 赋值语句的翻译

6.4 布尔表达式的翻译

6.5 程序流程控制语句的翻译

6.5.1 常见控制结构的翻译

6.5.2 语句标号及GOTO语句的翻译

6.5.3 多分支语句的翻译

6.6 含数组元素的算术表达式及赋值语句的翻译

6.6.1 下标变量地址的计算

6.6.2 含有下标变量的赋值语句的翻译

6.7 过程说明和过程调用的翻译

6.7.1 过程说明的翻译

6.7.2 实参和形参间的信息传递

6.7.3 过程语句的翻译

6.7.4 关于形实结合的进一步讨论

6.8 说明语句的翻译

6.8.1 类型说明（变量及数组定义）语句的翻译

6.8.2 数据类型定义语句的翻译

习题

第7章 符号表

7.1 引言

7.2 符号表的组织

7.3 符号表结构

7.3.1 线性符号表

7.3.2 有序符号表

7.3.3 散列表

7.4 符号表的管理

7.4.1 符号表的初始化

7.4.2 符号表的查填

7.4.3 符号表的删除

关键字

习题

第8章 运行时存储空间的组织与管理

8.1 引言

8.2 语言相关概述

8.2.1 过程

8.2.2 名字的作用域和绑定

8.3 存储分配的策略

8.3.1 静态存储分配策略

8.3.2 栈式存储分配策略

8.3.3 堆式存储分配策略

8.4 FORTRAN语言的存储分配

关键字

习题

第9章 代码优化

9.1 概述

9.2 局部优化

9.2.1 基本块的划分

9.2.2 基本块的优化

9.2.3 基本块的DAG图表示

9.3 循环优化

9.3.1 程序流图的概念

9.3.2 循环优化方法

第10章 目标代码生成

10.1 概述

10.2 一个简单的计算机模型

10.3 一个简单的代码生成器

10.3.1 变量的待用信息及其算法

10.3.2 代码生成算法

10.4 寄存器分配

10.5 窥孔优化

参考文献

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

书中系统地阐述了编译系统的结构、工作流程以及编译原理程序各组成部分的设计原理和实现技术。主要内容包括程序设计语言基本知识、词法分析、语法分析、语义分析与属性文法、语法制导的代码生成、运行时存储空间组织与管理、代码生成与优化等。通过本课程学习，使学生掌握编译理论和方法的基本知识，具有设计实现、分析和维护编译程序方面的能力，提高学生科学思维能力和综合运用专业知识解决实际问题的操作能力。
●以深入浅出的讲解方式将复杂的自动理论引入到编译程序的关键技术中，使学生在理论知识的指导下，容易理解编译程序的理论基础及技术原理。
●在介绍LL（k）、LR（k）语法分析方法时，采用了通用方式（足值不必固定），并给出了以k=1时的具体算法和应用实例。
●配备了大量的习题，其中大多数习题在其他同类教材中很少出现。这些习题与内容紧密相关、难度适宜，有益于学生更好地掌握所学的知识内容。