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

.第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网格计算的编译
思考题
参考文献