编译原理及实现

第1章 编译概述

1. 1 程序设计语言

1. 2 翻译程序

1. 3 编译程序的组成

1. 3. 1 词法分析

1. 3. 2 语法分析

1. 3. 3 语义分析及中间代码生成

1. 3. 4 代码优化

1. 3. 5 目标代码生成

1. 3. 6 符号表管理

1. 3. 7 错误处理

1. 4 编译程序的结构

1. 4. 1 单遍编译程序

1. 4. 2 多遍编译程序

1. 4. 3 编译程序分遍的优缺点

1. 4. 4 端的概念

1. 5 编译程序的前后处理器

1. 5. 1 预处理器

1. 5. 2 汇编程序

1. 5. 3 连接加载程序

1. 6 TEST语言与编译器

1. 6. 1 TEST语言

1. 6. 2 TEST编译器

1. 6. 3 TEST机

习题

第2章 文法和语言

2. 1 字母表和符号串

2. 1. 1 字母表

2. 1. 2 符号串

2. 1. 3 符号串及其集合的运算

2. 2 文法

2. 2. 1 文法形式定义

2. 2. 2 文法的EBNF表示

2. 3 推导

2. 3. 1 直接推导定义

2. 3. 2 推导定义

2. 3. 3 规范推导

2. 4 句型和句子

2. 5 语言

2. 6 递归规则与递归文法

2. 6. 1 递归规则

2. 6. 2 递归文法

2. 7 短语. 简单短语和句柄

2. 8 语法树

2. 9 子树与短语

2. 10 由树构造推导过程

2. 11 文法的二义性

2. 12 有关文法的实用限制

2. 13 文法和语言分类

习题

第3章 词法分析

3. 1 词法分析的功能

3. 2 程序语言的单词符号种类及词法分析输出

3. 3 正则文法及状态图

3. 3. 1 状态图

3. 3. 2 状态图的用法

3. 4 词法分析程序的设计与实现

3. 4. 1 TEST语言的词法规则及状态图

3. 4. 2 TEST语言词法分析程序的构造

3. 4. 3 TEST语言的词法分析程序实现

3. 5 正则表达式

3. 5. 1 正则表达式定义

3. 5. 2 正则文法到正则表达式的转换

3. 6 有穷自动机

3. 6. 1 确定的有穷自动机

3. 6. 2 不确定的有穷自动机

3. 6. 3 NFA到DFA的转化

3. 6. 4 正则表达式与有穷自动机的等价性

3. 6. 5 确定的有穷自动机的化简

3. 6. 6 根据DFA构造词法分析程序

3. 7 词法分析程序的自动生成器LEX

3. 7. 1 用LEX语言表达正则表达式

3. 7. 2 LEX源程序结构

3. 7. 3 使用LEX生成TEST语言的词法分析程序

习题

第4章 语法分析--自顶向下分析

4. 1 自顶向下分析方法

4. 2 FIRST集合和FOLLOW集合

4. 2. 1 FIRST集合定义及构造方法

4. 2. 2 FOLLOW集合定义及构造方法

4. 3 递归下降分析

4. 3. 1 递归下降分析的基本方法

4. 3. 2 递归下降分析中存在的问题及解决方法

4. 3. 3 TEST语言的递归下降分析实现

4. 4 LL 1 分析方法

4. 4. 1 LL 1 分析的基本方法

4. 4. 2 LL 1 分析表的构造方法

4. 4. 3 LL 1 分析的主要问题及解决方法

习题

第5章 语法分析--自底向上分析

5. 1 规范推导. 规范句型和规范归约

5. 2 自底向上分析方法的一般过程

5. 3 LR分析方法

5. 3. 1 LR分析器逻辑结构

5. 3. 2 LR分析表构成

5. 3. 3 LR分析过程

5. 4 LR 0 分析器

5. 4. 1 活前缀和可归前缀

5. 4. 2 LR 0 项目

5. 4. 3 构造识别活前缀的有穷自动机

5. 4. 4 LR 0 分析表的构造

5. 4. 5 LR 0 分析器的工作过程

5. 4. 6 LR 0 文法

5. 5 SLR 1 分析器

5. 5. 1 SLR解决方法的基本思想

5. 5. 2 SLR 1 分析表的构造

5. 6 LR 1 分析器

5. 6. 1 LR 1 项目

5. 6. 2 LR 1 项目集规范族构造算法

5. 6. 3 LR 1 分析表的构造

5. 7 LALR 1 分析器

5. 8 语法分析程序的自动生成工具--YACC

5. 8. 1 YACC源程序结构

5. 8. 2 YACC源程序说明部分的组成

5. 8. 3 YACC源程序的语法规则部分的组成

5. 8. 4 YACC源程序的程序部分组成

5. 8. 5 二义性文法的处理

5. 8. 6 YACC示例运行

习题

第6章 语法制导翻译技术

6. 1 翻译文法

6. 2 语法制导翻译

6. 3 自顶向下语法制导翻译

6. 3. 1 递归下降翻译

6. 3. 2 LL 1 翻译器

6. 4 属性翻译文法

6. 4. 1 综合属性

6. 4. 2 继承属性

6. 4. 3 属性翻译文法定义

6. 4. 4 属性翻译文法举例--算术表达式的翻译

6. 5 属性文法的自顶向下翻译

6. 5. 1 L-属性翻译文法

6. 5. 2 L-属性翻译文法的翻译实现--递归下降翻译

6. 5. 3 L-属性翻译文法的翻译实现--LL 1 法

6. 6 自底向上语法制导翻译

6. 6. 1 波兰翻译

6. 6. 2 S-属性文法

6. 6. 3 S-属性波兰翻译文法的翻译实现

习题

第7章 符号表管理技术

7. 1 何时建立和访问符号表

7. 2 符号表的组织和内容

7. 3 符号表上的操作

7. 4 非块程序结构语言的符号表结构

7. 5 块程序结构语言的符号表组织

7. 5. 1 块程序结构语言的概念

7. 5. 2 栈式符号表

习题

第8章 程序运行时的存储组织及管理

8. 1 程序运行时的存储组织

8. 2 静态存储分配

8. 3 栈式动态存储分配

8. 3. 1 活动记录

8. 3. 2 运行时的地址计算

8. 3. 3 递归过程的处理

8. 4 堆式动态存储分配

8. 4. 1 堆分配方式

8. 4. 2 堆式存储管理技术

习题

第9章 语义分析和代码生成

9. 1 语义分析的概念

9. 2 中间代码

9. 2. 1 波兰后缀表示

9. 2. 2 N-元表示

9. 2. 3 栈式抽象机及其汇编指令

9. 3 声明的处理

9. 3. 1 符号常量

9. 3. 2 简单变量

9. 3. 3 数组

9. 3. 4 过程声明

9. 4 表达式语句

9. 5 if语句

9. 6 while语句

9. 7 for循环语句

9. 8 write语句

9. 9 read语句

9. 10 过程调用和返回

9. 10. 1 参数的基本传递形式

9. 10. 2 过程调用

9. 10. 3 过程定义的处理

9. 10. 4 返回语句和过程终止语句

9. 11 语义分析及代码生成实现

9. 12 错误处理

习题

第10章 代码优化

10. 1 局部优化

10. 1. 1 基本块的划分

10. 1. 2 基本块的优化技术

10. 1. 3 基本块的DAG表示

10. 1. 4 基本块优化的实现

10. 2 循环内的优化

10. 2. 1 循环结构的定义

10. 2. 2 循环的查找

10. 2. 3 循环优化的实现

习题

附录A TEST语言文法规则

A1 TEST语言词法规则

A2 TEST的语法规则

A3 TEST的语义和代码生成规则

附录B 词法分析程序

附录C 语法分析程序

附录D 语义及代码生成程序

附录E TEST抽象机模拟器完整程序

参考文献