编译原理(第4版)/刘铭

第1章编译概述
11翻译程序与编译程序
12编译过程和编译程序的基本结构
13编译程序的生成方法
14编译技术在软件开发中的应用
本章小结
扩展阅读
自测练习题1
习题1
第2章文法和语言的基本知识
21概述
22字母表和符号串的基本概念
221字母表和符号串
222符号串的运算
23文法和语言的形式定义
231形式语言
232文法的形式定义
233语言的形式定义
234规范推导和规范归约
235递归规则与文法的递归性
24短语、直接短语和句柄
241短语和直接短语
242句柄
25语法树与文法的二义性
251推导和语法树
252文法的二义性
253文法二义性的消除
26文法和语言的分类
27有关文法的实用限制和变换
本章小结
扩展阅读
自测练习题2
习题2
第3章词法分析与有穷自动机
31词法分析程序的功能
32单词符号及输出单词的形式
321语言的单词符号
322词法分析程序输出单词的形式
33语言单词符号的两种定义方式
331正规式与正规集
332正规文法与正规式
34正规式与有穷自动机
341确定有穷自动机（DFA）
342非确定有穷自动机（NFA）
343由正规表达式R构造NFA
344NFA确定化为DFA的方法
345DFA的化简
346有穷自动机到正规式的转换
35正规文法与有穷自动机
351右线性正规文法到有穷自动机的转换方法
352左线性正规文法到有穷自动机的转换方法
353有穷自动机到正规文法的转换方法
36词法分析程序的编写方法
本章小结
扩展阅读
自测练习题3
习题3
第4章语法分析
41语法分析程序的功能
42自上而下分析法
421非确定的自上而下分析法的思想
422文法的左递归性和回溯的消除
423某些非LL(1)文法到LL(1)文法的改写
424递归下降分析法
425预测分析法与预测分析表的构造
43自下而上分析法的一般原理
44算符优先分析法
441方法概述
442算符优先文法的定义
443算符优先关系表的构造
444算符优先分析算法的设计
445优先函数的构造
446算符优先分析法的局限性
45LR分析法
451LR分析器的工作原理和过程
452LR(0)分析法
453SLR(1)分析法
454LR(1)分析法
455LALR(1)分析法
456LR分析法对二义性文法的应用
457LR语法分析中的错误恢复技术
46语法分析程序的编写方法
本章小结
扩展阅读
自测练习题4
习题4
第5章语法制导翻译技术和中间代码生成
51概述
52属性文法
53语法制导翻译概述
54中间语言
541逆波兰式
542三元式和树形表示
543四元式和三地址代码
55自下而上语法制导翻译
551简单算术表达式和赋值语句的翻译
552布尔表达式的翻译
553控制语句的翻译
554循环语句的翻译
555简单说明语句的翻译
556含数组元素的赋值语句的翻译
557过程和函数调用语句的翻译
56递归下降语法制导的翻译
本章小结
扩展阅读
自测练习题5
习题5
第6章符号表的组织与管理
61符号表的作用
62符号表的组织
63符号表的建立和查找
本章小结
扩展阅读
自测练习题6
习题6
第7章代码优化
71优化概述
72局部优化
721划分基本块的方法
722基本块的DAG表示
723利用DAG进行基本块的优化处理
73循环优化
731程序流图与循环
732循环查找
733循环优化
74窥孔优化
本章小结
扩展阅读
自测练习题7
习题7
第8章运行时的存储组织与管理
81概述
82静态存储分配
83栈式存储分配
831简单栈式存储分配
832嵌套过程的栈式存储分配
84堆式存储分配
85临时变量的存储分配
本章小结
扩展阅读
自测练习题8
习题8
第9章目标代码生成
91概述
92假想的计算机模型
93简单代码生成器
931待用信息与活跃信息
932代码生成算法
933寄存器的分配
94代码生成器的自动生成技术
本章小结
扩展阅读
自测练习题9
习题9
第10章并行编译技术基本常识
101并行编译技术的引入
102并行编译系统的功能和结构
1021并行编译系统的功能
1022并行编译系统的结构
103向量语言编译技术
1031向量语法处理
1032向量结构优化
104共享存储器并行机并行编译技术
1041预编译
1042可再入的目标代码
本章小结
习题10
附录A词法分析程序生成器Lex
A1词法分析程序生成器Lex简介
A2Lex输入文件的格式
A3正规表达式的Lex约定
A4Lex源程序中的规则部分
A5Flex的命令选项
A6Lex程序示例
附录B语法分析程序生成器YACC
B1语法分析程序YACC简介
B2YACC输入文件的格式
B3YACC各部分的书写格式
B31定义部分
B32规则部分
B33辅助程序部分
B4YACC的内置名称和定义机制
B5Flex与Bison的联合使用
附录C编译程序实验
C1词法分析
C11实验目的
C12实验要求
C13词法分析程序的算法思想
C14词法分析程序的C语言程序框架
C2语法分析
C21实验目的
C22实验要求
C23语法分析程序的算法思想
C24语法分析程序的C语言程序框架
C3语义分析
C31实验目的
C32实验要求
C33语义分析程序的C语言程序框架
C4算符优先分析法
C5实验实例
C6正规式转换成自动机的图形表示
C61实验目的
C62实验要求
C63参考设计思路
C64参考算法
附录D自测练习题与习题参考答案
参考文献