编译程序设计理论PDF电子书下载

目录 1

第一章 引论 1

1.1 语言处理程序 1

1.2 朴素的编译程序模型 2

1.3 遍与框 6

1.4 运行实现 7

1.5 数学翻译模型 8

1.6 MINI-BASIC编译程序 9

第二章 有限状态自动机 10

2.1 引言 10

2.2 有限状态识别器 11

2.3 变换表 13

2.4 出口与结束标志 15

2.5 设计举例 18

2.6 空序列 22

2.7 状态的等价性 24

2.8 检验两个状态的等价性 27

2.9 无关状态 32

2.10 归约机 34

2.11 寻求最小机器 35

2.12 非确定机 39

2.13 非确定有限状态识别器和确定有限状态识别器的等价性 44

2.14 例子：MINI-BASIC常量 48

本章参考文献 54

习题 55

第三章 有限状态自动机的实现 63

3.1 引言 63

3.2 输入集合的表示 64

3.3 状态的表示 66

3.4 变换的选择 66

3.5 词的辨别——机器方法 69

3.6 词的辨别——索引方法 74

3.7 词的辨别——线性表方法 76

3.8 词的辨别——顺序表方法 76

3.9 词的辨别——散列编码方法 80

3.10 前缀探测 84

本章参考文献 86

习题 86

第四章 MINI-BASIC词法框 90

4.1 记号集合 90

4.2 辨别问题 93

4.3 直译程序 97

4.4 词法框 99

习题 112

第五章 下推机 114

5.1 下推机的定义 114

5.2 序列集合的某些记号 121

5.3 下推识别举例 125

5.4 扩充的栈操作 127

5.5 带有下推机的翻译 130

5.6 循环 134

本章参考文献 135

习题 136

第六章 上下文无关文法 141

6.1 引言 141

6.2 形式语言和形式文法 141

6.3 形式文法——例子 142

6.4 上下文无关文法 144

6.5 推导 147

6.6 树 150

6.7 MINI-BASIC常数文法 154

6.8 LISP中的S-表达式文法 156

6.9 算术表达式的文法 157

6.10 同一语言的不同文法 159

6.11 正则集合是上下文无关语言 160

6.12 右线性文法 162

6.13 MINI-BASIC常数的其它文法 169

6.14 无关的非终结符 171

6.15 MINI-BASIC语言手册中的MINI-BASIC文法 176

本章参考文献 180

习题 180

7.1 引言 188

7.2 波兰表示法 188

第七章 语法制导处理 188

7.3 翻译文法 190

7.4 语法制导翻译 194

7.5 例子——综合属性 197

7.6 例子——继承属性 203

7.7 属性翻译文法 205

7.8 算术表达式的翻译 210

7.9 一些MINI-BASIC语句的翻译 214

7.10 表达式的另一种属性翻译文法 216

7.11 二义性文法和多个翻译 222

本章参考文献 225

习题 225

8.1 引言 236

第八章 自顶向下处理 236

8.2 例子 237

8.3 s-文法 244

8.4 翻译文法的自顶向下处理 248

8.5 q-文法 253

8.6 LL（1）文法 262

8.7 寻找选择集合 273

8.8 自顶向下分析中的出错处理 287

8.9 递归下降方法 295

本章参考文献 300

习题 300

9.2 L-属性文法 315

第九章 属性文法的自顶向下处理 315

9.1 引言 315

9.3 简单赋值形式 317

9.4 扩充机举例 323

9.5 扩充下推机 332

9.6 条件语句举例 339

9.7 算术表达式举例 344

9.8 属性文法的递归下降方法 349

本章参考文献 356

习题 356

第十章 MINI-BASIC语法框 368

10.1 MINI-BASIC的LL（1）文法 368

10.2 原子集合和翻译文法 369

10.3 L-属性文法 377

10.4 语法框 380

10.5 紧凑MINI-BASIC表达式处理器 395

习题 406

第十一章 自底向上处理 412

11.1 引言 412

11.2 句柄 413

11.3 例子 416

11.4 第二个例子 423

11.5 自底向上处理的文法原理 431

11.6 波兰翻译 435

11.7 S-属性文法 437

习题 440

第十二章 移动辨别处理 447

12.1 引言 447

12.2 移动辨别控制 447

12.3 后缀无关SI文法 456

12.4 弱优先文法 460

12.5 简单混合式优先文法 465

12.6 计算BELOW和REDUCED-BY 471

12.7 移动辨别分析中的出错处理 476

12.8 MINI-BASIC语法框 484

本章参考文献 498

习题 499

第十三章 移动归约处理 506

13.1 引言 506

13.2 一个例子 506

13.3 另一个例子 518

13.4 LR（0）文法 527

13.5 SLR（1）文法 530

13.6 ∈产生式 535

13.7 移动归约分析中的出错处理 541

本章参考文献 545

习题 546

14.1 引言 551

14.2 编译环境和目标机器 551

第十四章 MINI-BASIC编译程序的代码生成程序 551

14.3 运行模拟 552

14.4 内存布局 553

14.5 表项 554

14.6 GEN例行程序 556

14.7 寄存器管理程序 558

14.8 关于原子的例行程序 559

14.9 分程序结构语言中的说明处理 568

本章参考文献 570

习题 570

15.2 寄存器分配 573

15.1 引言 573

第十五章 目标代码优化概述 573

15.3 一个原子的优化 574

15.4 原子窗口上的优化 574

15.5 语句内的优化 575

15.6 几个语句的优化 577

15.7 循环优化 579

15.8 其它 582

本章参考文献 583

附录A MINI-BASIC语言手册 584

A.1 MINI-BASIC语言的一般形式 584

A.2 数 584

A.4 算术表达式 585

A.3 变量 585

A.5 语句 586

附录B 关系 591

B.1 引言 591

B.2 在有限集合上表示关系 592

B.3 关系的乘积 594

B.4 传递闭包 596

B.5 自反传递闭包 600

习题 601

附录C 文法的变换 605

C.1 引言 605

C.2 表的自顶向下处理 605

C.3 提取左因子 608

C.4 角替换 609

C.5 唯一（SINGLETON）替换 612

C.6 左递归 613

C.7 目标角变换 616

C.8 消去∈产生式 624

C.9 进行波兰翻译 627

C.10 构造移动辨别相容文法 627

本章参考文献 629

习题 630

参考文献 634

作者简介 648

汉英对照索引 650