《编译原理及编译程序构造》求取 ⇩

第一章引言1

1.1 程序设计语言1

1.2 翻译程序2

1.3 编译程序模型4

1.4 编译程序的前后处理器9

1.4.1 预处理器9

1.4.2 汇编程序10

1.4.3 两遍汇编10

1.4.4 加载器和连接编辑器11

1.5 编译技术在软件工程中的应用11

2.1.1 语法树14

2.1 文法的非形式讨论14

第二章文法和语言的概念和表示14

2.1.2 规则15

2.1.3 由规则推导句子15

2.2 符号、符号串及其集合的运算18

2.2.1 字母表和符号串18

2.2.2 符号串及其集合的运算18

2.3 文法和语言的形式定义20

2.3.1 文法的形式定义20

2.3.2 推导的形式定义21

2.3.3 语言的形式定义22

2.3.4 递归规则与递归文法24

2.3.5 短语、简单短语和句柄25

2.4.1 推导与语法树27

2.4 语法树和二义性27

2.4.2 文法的二义性30

2.5 符号串的分析35

2.5.1 自顶向下分析35

2.5.2 自底向上分析36

2.6 有关文法的实用限制37

2.7 扩充的BNF表示和语法图39

2.7.1 扩充的BNF表示39

2.7.2 语法图40

2.8 文法和语言分类41

第三章词法分析43

3.1 词法分析程序的功能43

3.2.1 源程序的输入44

3.2 源程序的输入与词法分析程序的输出44

3.2.2 单词符号的种类及词法分析程序的输出形式45

3.3 正则文法及其状态图45

3.3.1 状态图46

3.3.2 状态图的作用46

3.4 词法分析程序的设计与实现47

3.4.1 文法及其状态图47

3.4.2 词法分析程序的构造48

3.4.3 词法分析程序的实现49

3.5 正则文法和正则表达式52

3.6 有穷自动机（FA）54

3.6.1 确定的有穷自动机（DFA）54

3.6.2 不确定的有穷自动机（NFA）56

3.6.3 NFA的确定化57

3.6.4 正则表达式与有穷自动机的等价性59

3.7 词法分析程序的自动生成器63

3.7.1 LEX源程序（LEX的输入文件）63

3.7.2 LEX的实现64

第四章语法分析69

4.1 自顶向下分析方法69

4.1.1 带回溯的自顶向下分析算法69

4.1.2 存在的问题及解决办法70

4.2 递归下降分析（递归子程序法）75

4.3 LL（1）分析方法80

4.3.1 LL（1）分析器的逻辑结构及工作过程80

4.3.2 LL（1）分析表的构造方法84

4.4 自底向上分析方法88

4.5 算符优先分析法90

4.5.1 方法概述90

4.5.2 直观算符优先分析法92

4.5.3 算符优先分析法的进一步讨论95

4.6 LR分析方法100

4.6.1 概念和术语101

4.6.2 LR（0）分析器104

4.6.3 SLR（1）分析器109

4.6.4 规范LR（1）分析器117

4.6.5 LALR（1）分析器123

第五章语法制导翻译技术128

5.1 翻译文法（TG）128

5.2 语法制导翻译130

5.3 属性翻译文法（ATG）131

5.3.1 综合属性131

5.3.2 继承属性133

5.3.3 属性翻译文法134

5.3.4 属性翻译文法举例——算术表达式的翻译136

5.4 自顶向下语法制导翻译139

5.4.1 翻译文法的自顶向下处理139

5.4.2 属性文法的自顶向下翻译145

5.5 自底向上的语法制导翻译158

5.5.1 波兰翻译159

5.5.2 S-属性文法160

6.2 何时建立和访问符号表163

6.1 前景和动机163

第六章符号表管理技术163

6.3 符号表内容165

6.4 在符号表上的操作167

6.5 非分程序结构语言的符号表组织169

6.5.1 无序符号表169

6.5.2 有序符号表170

6.5.3 散列符号表171

6.6 分程序结构语言的符号表组织180

6.6.1 分程序结构语言的概念180

6.6.2 栈式符号表182

6.6.3 散列符号表的栈式实现183

7.1 静态存贮分配186

第七章运行时的存贮组织及管理186

7.2 动态存贮分配188

7.2.1 活动记录190

7.2.2 参数区190

7.2.3 Display区190

7.2.4 运行时的地址计算192

7.2.5 递归过程的处理193

7.3 堆式存贮分配196

7.3.1 隐式存贮请求196

7.3.2 显示存贮请求197

7.3.3 堆式存贮管理技术198

8.1 波兰表示205

第八章源程序的中间形式205

8.2 N-元表示206

8.3 抽象语法树208

8.4 抽象机代码209

8.4.1 可移植性和抽象机209

8.4.2 PASCAL的P-code抽象机210

第九章错误处理212

9.1 概述212

9.2 错误的分类212

9.3 错误的诊察与报告213

9.4 错误处理技术214

9.4.1 错误改正215

9.4.2 错误局部化处理215

9.5 遏止重复的错误信息217

第十章语义分析和代码生成219

10.1 语义分析的概念219

10.2 栈式抽象机及其汇编指令221

10.3 声明的处理222

10.3.1 常量类型223

10.3.2 简单变量223

10.3.3 数组变量225

10.3.4 记录变量226

10.3.5 过程声明227

10.4 表达式228

10.5 赋值语句234

10.6 控制语句235

10.6.1 if语句236

10.6.2 分情形语句237

10.6.3 repeat-while语句238

10.6.4 for循环语句239

10.7 过程调用和返回241

10.7.1 参数的基本传递形式241

10.7.2 过程调用242

10.7.3 返回语句和过程终止246

10.8 输入和输出语句246

10.8.1 输入语句246

10.8.2 输出语句249

10.9 编译程序的辅助功能249

11.2 基本块251

11.1 概述251

第十一章代码优化251

11.3 常数合并252

11.4 冗余子表达式的消除257

11.5 循环内的优化265

11.5.1 循环展开266

11.5.2 频度削弱269

11.5.3 强度削弱275

11.5.4 循环优化技术的综合278

第十二章与机器有关的优化及目标代码的生成283

12.1 与机器有关的优化概述283

12.2.1 单寄存器机器中的寄存器分配284

12.2 寄存器分配的优化284

12.2.2 多寄存器机器中的寄存器分配290

12.3 目标机和目标代码生成294

12.3.1 PDP-11295

12.3.2 VAX-11299

第十三章编译程序生成方法和工具305

13.1 编译程序的书写语言305

13.2 自展306

13.3 移植306

13.4 编译程序—编译程序307

13.4.1 YACC：一个LALR（1）分析器生成器308

13.4.2 属性LL（1）分析器生成器313

13.4.3 代码生成器的生成系统319

14.1 PL/0语言324

第十四章PL/0简单编译系统324

14.2 PL/0编译系统结构328

14.3 PL/0的词法分析329

14.4 PL/0的语法分析330

14.5 出错处理332

14.6 目标代码的生成和解释执行333

14.7 PL/0程序编译和运行举例335

第十五章Pascal-S编译系统344

15.1 Pascal-S语言344

15.2 Pascal-S编译程序的结构349

15.3 Pascal-S编译程序353

15.3.1 表格353

15.3.2 编译初启358

15.3.3 实用程序359

15.3.4 词法分析及处理359

15.3.5 语法分析处理359

15.3.6 出错处理364

15.4 Pascal-S解释执行程序366

15.4.1 P代码指令系统366

15.4.2 运行栈368

15.4.3 运行时的display369

15.4.4 运行出错处理和现场剖析打印370

15.5 编译及运行的例子370

参考资料380

附录A PL/0编译系统源程序清单383

附录B Pascal-S编译系统源程序清单395