包含代数方法的新编译方法

《编译原理——包含代数方法的新编译方法》

第1章概论

1．1语言和人类

1．2语言和计算机

1．3程序设计语言的编译

1．4编译程序的扫描

1．5一个语句的编译例子

1．6本书的组织

思考题

参考文献

第2章文法和语言

2．1本章动机

2．2预备知识

2．3文法

2．4语言

2．5由文法生成的语言

2．6图灵机

2．7关于文法和语言的问题

思考题

参考文献

.第3章有限状态自动机和正则语言

3．1本章动机

3．2语言、文法和自动机

3．3确定有限自动机

3．4非确定有限自动机(nfa)

3．5正则表达式

3．6正则文法

3．7克林和摩尔定理

3．8抽吸引理及正则语言的封闭性

3．9有限自动机的应用

3．10有限自动机的变形

思考题

参考文献

第4章词法分析

4．1本章动机

4．2词法分析的作用

4．3词法分析程序的输出

4．4出错处理

思考题

参考文献

第5章下推自动机和上下文无关语言

5．1本章动机

5．2下推自动机

5．3上下文无关语言

5．4上下文无关语言的抽吸定理

5．5下推自动机和上下文无关语言

5．6上下文无关语言的应用

5．7图灵机

5．8接受语言的图灵机

5．9各种图灵机的等价性

5．10递归可枚举语言(lre)

5．11上下文有关语言lcs

5．12机器的层次、文法和语言

5．13机器、语言和文法的关系

思考题

参考文献

第6章上下文无关文法

6．1本章动机

6．2上下文无关文法的定义

6．3上下文无关文法的特性

思考题

参考文献

第7章语法分析

7．1本章动机

7．2语法分析在编译程序中的作用

7．3语法分析方法

思考题

参考文献

第8章属性文法和对它们的分析

8．1本章动机

8．2属性文法

8．3依赖图和属性的计算

8．4l属性文法和s属性文法

思考题

参考文献

第9章译程序设计的代数方法

9．1本章动机

9．2源语言

9．3代数基础和推理语言

9．4一个简单的编译程序

思考题

参考文献

第10章中间代码生成

10．1本章动机

10．2中间代码语言

思考题

参考文献

第11章调试和优化

11．1本章动机

11．2错误的检测和恢复

11．3语法错误的调试

11．4语义错误检查

11．5程序的优化

11．6优化的主要方法

思考题

参考文献

第12章存储管理

12．1本章动机

12．2全局分配策略

12．3存储分配算法

12．4垃圾空间的回收

12．5参数传送

思考题

参考文献

第13章目标代码的生成

13．1本章动机

13．2目标代码的设计

13．3目标机器mmix

13．4mmix的汇编语言

13．5mmix目标代码的生成

思考题

参考文献

第14章面向对象语言的编译

14．1本章动机

14．2对象及其编译

14．3对象的特征

思考题

参考文献

第15章并行语言的编译

15．1本章动机

15．2并行计算机和并行计算的兴起

15．3并行程序设计

15．4面向对象的语言

15．5linda元组空间

15．6数据并行语言

15．7隐式并行程序的代码生成

思考题

参考文献

第16章网格计算的编译

16．1本章动机

16．2网格计算的兴起

16．3网格计算的模型

16．4网格计算的编译

思考题

参考文献