《编译程序设计理论》求取 ⇩

目录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-BY471

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