《编译程序构造方法》

1.1 编译程序与翻译程序1

3.4 扩展的BNF （71

目录1

第一章编译程序概述1

1.2编译程序的结构2

1.3编译程序的书写语言与T形图4

1.4 Pascal-T语言及其编译程序7

习题12

程序清单1 Pascal-T编译程序的主程序13

第二章词法分析32

2.1词法分析的任务32

2.2取字符与写符号34

2.3 扫描36

2.4标识符与保留字37

2.5数41

2.6 字符串42

2.7注解43

2.8差错处理44

2.9其它语言的特有问题44

2.10词法分析程序的自动构造45

习题51

程序清单2 Pascal-T编译程序的词法分析程序53

第三章文法与语言63

3.1 形式语言63

3.2文法的分类66

6.2类型结构表 （167

3.3上下文无关文法的二义性68

3.5 Pascal-T语言的语法73

习题74

第四章 自顶向下的语法分析方法76

4.1 自顶向下分析的基本思想76

4.2 LL（1）分析方法80

4.3递归下降分析程序的构造80

4.4 验证Pascal-T满足LL（1）条件86

4.5 Pascal-T语言的分析程序93

4.6语法差错修正99

4.7 Pascal-T语言带语法差错修正的分析程序101

习题105

程序清单3 Pascal-T编译程序的语法分析程序107

第五章作用域分析125

5.1标识符的作用域与程序体125

5.2标识符表128

5.3程序体表与层次表129

5.4Pascal-T语言的语义分析程序133

程序清单4 Pascal-T编译程序的语义分析程序138

第六章类型分析166

6.1 标识符表的完整形式166

6.3查标识符表算法的完整形式169

6.4常量定义170

6.5类型定义173

6.6变量定义与形式参数定义181

6.7语义差错修正185

6.8表达式186

6.9语句196

6.1 0过程与函数199

习题207

第七章存贮管理210

7.1静态存贮管理210

7.2栈式存贮管理212

7.3堆式存贮管理215

习题216

第八章代码生成217

8.1 理想计算机概念217

8.2 Pascal-T计算机及其解释程序217

8.3 Pascal-T语言的代码生成程序225

8.4表达式和变量的目标226

8.5 语句的目标230

8.6过程和函数的目标235

习题243

程序清单5 Pascal-T编译程序的代码生成程序244

程序清单6 Pascal-T解释程序257

第九章汇编代码生成267

9.1 Intel 8088处理器简介267

9.2 Pascal-T语言的汇编代码生成程序268

9.3汇编代码生成的例子268

9.4 目标代码优化271

习题274

程序清单7 Pascal-T编译程序的汇编代码生成程序275

第十章基于自底向上语法分析技术的编译程序自动构造285

10.1 LR分析方法285

10.2 Yacc简介288

10.3 用 Yacc构造PL/0编译程序290

习题301

第十一章编译程序构造课题302

1 1.1 PL语言的程序示例302

11.2 PL语言的描述303

11.3 PL语言的语法305

11.4课程设计的步骤和要求306

11.5 PL语言的解释程序307

附录一 一个用Pascal-T语言编写的源程序及其编译过程的例子313

附录二一组用Pascal-T语言编写的用户源程序的实例336

附录三Pascal-T编译程序（软盘）的使用说明344

参考文献346