DL : 0
目 录
译者序
前言
第1章 概论 1
1.1 为什么要用编译器 2
1.2 与编译器相关的程序 3
1.3 翻译步骤 5
1.4 编译器中的主要数据结构 8
1.5 编译器结构中的其他问题 10
1.6 自举与移植 12
1.7 TINY样本语言与编译器 14
1.7.1 TINY语言 15
1.7.2 TINY编译器 15
1.7.3 TM机 17
1.8 C-Minus：编译器项目的一种语言 18
练习 19
注意与参考 20
第2章 词法分析 21
2.1 扫描处理 21
2.2 正则表达式 23
2.2.1 正则表达式的定义 23
2.2.2 正则表达式的扩展 27
2.2.3 程序设计语言记号的正则表达式 29
2.3 有穷自动机 32
2.3.1 确定性有穷自动机的定义 32
2.3.2 先行、回溯和非确定性自动机 36
2.3.3 用代码实现有穷自动机 41
2.4 从正则表达式到DFA 45
2.4.1 从正则表达式到NFA 45
2.4.2 从NFA到DFA 48
2.4.3 利用子集构造模拟NFA 50
2.4.4 将DFA中的状态数最小化 51
2.5 TINY扫描程序的实现 52
2.5.1 为样本语言TINY实现一个扫描
程序 53
2.5.2 保留字与标识符 56
2.5.3 为标识符分配空间 57
2.6 利用Lex 自动生成扫描程序 57
2.6.1 正则表达式的Lex 约定 58
2.6.2 Lex输入文件的格式 59
2.6.3 使用Lex的TINY扫描程序 64
练习 65
编程练习 67
注意与参考 67
第3章 上下文无关文法及分析 69
3.1 分析过程 69
3.2 上下文无关文法 70
3.2.1 与正则表达式比较 70
3.2.2 上下文无关文法规则的说明 71
3.2.3 推导及由文法定义的语言 72
3.3 分析树与抽象语法树 77
3.3.1 分析树 77
3.3.2 抽象语法树 79
3.4 二义性 83
3.4.1 二义性文法 83
3.4.2 优先权和结合性 85
3.4.3 悬挂else问题 87
3.4.4 无关紧要的二义性 89
3.5 扩展的表示法：EBNF和语法图 89
3.5.1 EBNF表示法 89
3.5.2 语法图 91
3.6 上下文无关语言的形式特性 93
3.6.1 上下文无关语言的形式定义 93
3.6.2 文法规则和等式 94
3.6.3 乔姆斯基层次和作为上下文无关
规则的语法局限 95
3.7 TINY语言的语法 97
3.7.1 TINY的上下文无关文法 97
3.7.2 TINY编译器的语法树结构 98
练习 101
注意与参考 104
第4章 自顶向下的分析 105
4.1 使用递归下降分析算法进行自顶向下
的分析 105
4.1.1 递归下降分析的基本方法 105
4.1.2 重复和选择：使用EBNF 107
4.1.3 其他决定问题 112
4.2 LL(1)分析 113
4.2.1 LL(1)分析的基本方法 113
4.2.2 LL(1)分析与算法 114
4.2.3 消除左递归和提取左因子 117
4.2.4 在LL(1)分析中构造语法树 124
4.3 First集合和Follow集合 125
4.3.1 First 集合 125
4.3.2 Follow 集合 130
4.3.3 构造LL(1)分析表 134
4.3.4 再向前：LL(k)分析程序 135
4.4 TINY语言的递归下降分析程序 136
4.5 自顶向下分析程序中的错误校正 137
4.5.1 在递归下降分析程序中的错误
校正 138
4.5.2 在LL(1)分析程序中的错误校正 140
4.5.3 在TINY分析程序中的错误校正 141
练习 143
编程练习 146
注意与参考 148
第5章 自底向上的分析 150
5.1 自底向上分析概览 151
5.2 LR(0)项的有穷自动机与LR(0)分析 153
5.2.1 LR(0)项 153
5.2.2 项目的有穷自动机 154
5.2.3 LR(0)分析算法 157
5.3 SLR(1)分析 160
5.3.1 SLR(1)分析算法 160
5.3.2 用于分析冲突的消除二义性
规则 163
5.3.3 SLR(1)分析能力的局限性 164
5.3.4 SLR(k)文法 165
5.4 一般的LR(1)和LALR(1)分析 166
5.4.1 LR(1)项的有穷自动机 166
5.4.2 LR(1)分析算法 169
5.4.3 LALR(1)分析 171
5.5 Yacc：一个LALR(1)分析程序的
生成器 173
5.5.1 Yacc基础 173
5.5.2 Yacc选项 176
5.5.3 分析冲突与消除二义性的规则 180
5.5.4 描述Yacc分析程序的执行 183
5.5.5 Yacc中的任意值类型 184
5.5.6 Yacc中嵌入的动作 185
5.6 使用Yacc生成TINY分析程序 186
5.7 自底向上分析程序中的错误校正 188
5.7.1 自底向上分析中的错误检测 188
5.7.2 应急方式错误校正 188
5.7.3 Yacc中的错误校正 189
5.7.4 TINY中的错误校正 192
练习 192
编程练习 195
注意与参考 197
第6章 语义分析 198
6.1 属性和属性文法 199
6.1.1 属性文法 200
6.1.2 属性文法的简化和扩充 206
6.2 属性计算算法 207
6.2.1 相关图和赋值顺序 208
6.2.2 合成和继承属性 212
6.2.3 作为参数和返回值的属性 219
6.2.4 使用扩展数据结构存储属性值 221
6.2.5 语法分析时属性的计算 223
6.2.6 语法中属性计算的相关性 226
6.3 符号表 227
6.3.1 符号表的结构 228
6.3.2 说明 230
6.3.3 作用域规则和块结构 232
6.3.4 同层说明的相互作用 236
6.3.5 使用符号表的属性文法的一个
扩充例子 237
6.4 数据类型和类型检查 241
6.4.1 类型表达式和类型构造器 242
6.4.2 类型名、类型说明和递归类型 246
6.4.3 类型等价 248
6.4.4 类型推论和类型检查 253
6.4.5 类型检查的其他主题 255
6.5 TINY语言的语义分析 257
6.5.1 TINY的符号表 258
6.5.2 TINY语义分析程序 259
练习 260
编程练习 264
注意与参考 264
第7章 运行时环境 266
7.1 程序执行时的存储器组织 266
7.2 完全静态运行时环境 269
7.3 基于栈的运行时环境 271
7.3.1 没有局部过程的基于栈的环境 271
7.3.2 带有局部过程的基于栈的环境 281
7.3.3 带有过程参数的基于栈的环境 284
7.4 动态存储器 286
7.4.1 完全动态运行时环境 286
7.4.2 面向对象的语言中的动态存储器 287
7.4.3 堆管理 289
7.4.4 堆的自动管理 292
7.5 参数传递机制 292
7.5.1 值传递 293
7.5.2 引用传递 294
7.5.3 值结果传递 295
7.5.4 名字传递 295
7.6 TINY语言的运行时环境 296
练习 297
编程练习 303
注意与参考 304
第8章 代码生成 305
8.1 中间代码和用于代码生成的数据
结构 305
8.1.1 三地址码 306
8.1.2 用于实现三地址码的数据结构 308
8.1.3 P-代码 310
8.2 基本的代码生成技术 312
8.2.1 作为合成属性的中间代码或目标
代码 312
8.2.2 实际的代码生成 314
8.2.3 从中间代码生成目标代码 317
8.3 数据结构引用的代码生成 319
8.3.1 地址计算 319
8.3.2 数组引用 320
8.3.3 栈记录结构和指针引用 325
8.4 控制语句和逻辑表达式的代码生成 328
8.4.1 if 和while 语句的代码生成 328
8.4.2 标号的生成和回填 330
8.4.3 逻辑表达式的代码生成 330
8.4.4 if 和while 语句的代码生成过程
样例 331
8.5 过程和函数调用的代码生成 334
8.5.1 过程和函数的中间代码 334
8.5.2 函数定义和调用的代码生成过程 336
8.6 商用编译器中的代码生成：两个案
例研究 339
8.6.1 对于80×86的Borland 3.0版C编
译器 339
8.6.2 Sun SparcStation的Sun 2.0 C编
译器 343
8.7 TM：简单的目标机器 346
8.7.1 Tiny Machine的基本结构 347
8.7.2 TM模拟器 349
8.8 TINY语言的代码生成器 351
8.8.1 TINY代码生成器的TM接口 351
8.8.2 TINY代码生成器 352
8.8.3 用TINY编译器产生和使用TM
代码文件 354
8.8.4 TINY编译器生成的TM代码文
件示例 355
8.9 代码优化技术考察 357
8.9.1 代码优化的主要来源 358
8.9.2 优化分类 360
8.9.3 优化的数据结构和实现技术 362
8.10 TINY代码生成器的简单优化 366
8.10.1 将临时变量放入寄存器 366
8.10.2 在寄存器中保存变量 367
8.10.3 优化测试表达式 367
练习 368
编程练习 371
注意与参考 372
附录A 编译器设计方案 373
附录B 小型编译器列表 381
附录C Tiny Machine模拟器列表 417
Date : 2008-04-25
Size : 7.26mb
User : wesong
DL : 0
（1） 给定一段符合Pascal子集语法的语言，能成功转换成C语言；
（2） 一个简单的说明文档；
（3） 2007.7.14之前上传到ftp:// C07:C07@10.11.3.71/upload,用学号建立自己的目录；
（4） （可额外加分5分）若有出错处理功能，请在说明文档中写明可以处理哪几项错误。
注意事项：
（1） 两人一组
（2） 可以使用词法、语法自动生成工具，windows下有Flex，Bison，Linux下有Lex，Yacc，Java的有Jlex，JavaCC，ANTLR等
（3） 不用考虑Pascal和C的关键词不同问题，即Pascal子集语言中假设不出现int，for等作为变量标志符
（4） read()和write()可用由scanf()，printf()等组成的语句转换。
（5） 如果有疑问可以发信给我 xpqiu@fudan.edu.cn.
Date : 2008-10-13
Size : 47.52kb
User : cy
DL : 0
（1） 给定一段符合Pascal子集语法的语言，能成功转换成C语言；
（2） 一个简单的说明文档；
（3） 2007.7.14之前上传到ftp:// C07:C07@10.11.3.71/upload,用学号建立自己的目录；
（4） （可额外加分5分）若有出错处理功能，请在说明文档中写明可以处理哪几项错误。
注意事项：
（1） 两人一组
（2） 可以使用词法、语法自动生成工具，windows下有Flex，Bison，Linux下有Lex，Yacc，Java的有Jlex，JavaCC，ANTLR等
（3） 不用考虑Pascal和C的关键词不同问题，即Pascal子集语言中假设不出现int，for等作为变量标志符
（4） read()和write()可用由scanf()，printf()等组成的语句转换。
（5） 如果有疑问可以发信给我 xpqiu@fudan.edu.cn.
Date : 2025-12-18
Size : 47kb
User : cy
DL : 0
用pascal编一个年历具体要求是：设计电子月历的程序
一、任务内容（task）
1．设计的程序应具有以下功能：
（1）任意输入某年的某一月份，屏幕应能显示该月的月历；
（2）应允许多次从键盘输入某月份,并自行设置结束标志。
（3）如在屏幕上输入2007年12月份的信息,屏幕的显示形式如下：
month Sun. Mon. Tue. Wed. Thu. Fri. Sat.
12 1
2 3 4 5 6 7 8
9 10 11 12 13 14 15
16 17 18 19 20 21 22
23 24 25 26 27 28 29
30 31
（4）备注：输出界面也可以是其它形式，另外还可对输出界面进行必要的修饰（如：加入表格线）。
2．程序设计要求：
1）采用结构化的程序设计方法进行编程；
2）用case控制语句实现选择分支结构；
3）用while \repeat…until\for语句实现循环结构；
4）利用标准过程readkey实现程序执行暂停；
5）利用标准过程 clrscr实现清屏操作。-err
Date : 2025-12-18
Size : 1kb
User : 李青
DL : 0
Syntax of TINY+
An EBNF grammar for TINY+ is as follows (Strings in bold are terminals):
1. program -> declarations stmt-sequence
2. declarations -> decl declarations |²
3. decl -> type-specifi er varlist
4. type-specifi er -> int | bool | string
5. varlist -> identifi er { , identifi er }
6. stmt-sequence -> statement { statement }
7. statement -> if-stmt | repeat-stmt | assign-stmt | read-stmt | write-stmt
| while-stmt
8. while-stmt -> while bool-exp do stmt-sequence end
9. if-stmt -> if bool-exp then stmt-sequence [else stmt-sequence] end
10. repeat-stmt -> repeat stmt-sequence until bool-exp
11. assign-stmt -> identifi er := exp
12. read-stmt -> read identifi er
13. write-stmt -> write exp
14. exp -> arithmetic-exp | bool-exp | string-exp
15. arithmetic-exp -> term { addop term }
16. addop -> + | --Syntax of TINY+
An EBNF grammar for TINY+ is as follows (Strings in bold are terminals):
1. program-> declarations stmt-sequence
2. declarations-> decl declarations |²
3. decl-> type-specifi er varlist
4. type-specifi er-> int | bool | string
5. varlist-> identifi er { , identifi er }
6. stmt-sequence-> statement { statement }
7. statement-> if-stmt | repeat-stmt | assign-stmt | read-stmt | write-stmt
| while-stmt
8. while-stmt-> while bool-exp do stmt-sequence end
9. if-stmt-> if bool-exp then stmt-sequence [else stmt-sequence] end
10. repeat-stmt-> repeat stmt-sequence until bool-exp
11. assign-stmt-> identifi er := exp
12. read-stmt-> read identifi er
13. write-stmt-> write exp
14. exp-> arithmetic-exp | bool-exp | string-exp
15. arithmetic-exp-> term { addop term }
16. addop->+ |-
Date : 2025-12-18
Size : 1.21mb
User : gavinfeng
DL : 0
本程序基于PL0源码，
完成以下内容：
(1) 增加单词：保留字 ELSE，REPEAT，UNTIL，RETURN
运算符 +=，-=，++，--
(2) 修改单词：不等号# 改为 <>
(3) 增加条件语句的ELSE子句
(4) 扩充赋值运算：+= 和 -=
(5) 扩充语句 REPEAT
<语句序列>
UNTIL <条件>
其中，<条件>是循环条件，即条件不成立时，重复执行循环体的< 语句序列>； 条件成立时，循环结束。
(6) 增加运算：++ 和 --。
(7) 增加类型：① 字符类型； 。
(8) 扩充函数：① 有返回值和返回语句；。
(9) 增加一维数组类型（增加指令）。
(10) 扩充for语句
for(<语句>{,<语句>} 条件 表达式)
<语句>
(11) 扩充赋值运算符*=和-=
(12) 增加可以识别单行注释”//”和多行注释”/********/”
(13) 增加编译器的可视化界面
(14) 增加显示出错代码及原因
-This program is based on the the PL0 source,
Complete the following:
(1) to increase the word: reserved word ELSE, REPEAT, UNTIL, RETURN
Operator+ =,- =,+,-
(2) modify the words: inequality# changed <>
(3) increase in the ELSE clause of conditional statement
(4) expand the assignment operator:+ = and- =
(5) expansion of the statements REPEAT
<Sequence of statements
UNTIL <condition>
Conditions which, <> is the loop condition, ie, when the condition does not hold, repeat the loop body <sequence of statements> conditions are true, the loop ends.
(6) increase in computing:++ and-.
(7) increase the types: (1) character type
(8) expansion function: ① the return value and return statement
(9) increase in one-dimensional array type (increase instruction).
(10) expansion of the for statement
for (<statement> {<statement>} conditions expression)
<Statement>
(11) to expand the assignment operator*
Date : 2025-12-18
Size : 119kb
User : 潘志敏
DL : 0
数据结构，多项式编辑器，其基本功能
1. 创建
2. 显示
3. 复制
4. 求和
5. 求差
6. 求值
7. 销毁
8. 清空
9. 修改（①插入新的结点、②删除已有结点、③修改已有结点的系数和指数）
拓展功能（选做）：
10. 微分（N阶导数）
11. 不定积分
12. 定积分
13. 乘法和乘方
14. 除法
15. 最大公约式和最小公倍式
16. 多项式的四则运算（如 “(1+2*3)/4”）-Basic functions (will do): Create 2 display 3. Copy 4. Summation 5 differencing 6. Evaluation 7. Destroyed 8 Empty 9. Modification (① insert a new node, ② delete the existing junction point, ③ modify an existing node coefficient and exponent) expansion function (Optional): 10. Differential (N derivative) 11. Indefinite Integral 12. definite integral 13. multiplication and involution 14. division 15 largest convention-style and the least common multiple 16. polynomial arithmetic (such as " (1+2* 3)/4" )
Date : 2025-12-18
Size : 3kb
User : YLY
DL : 0
用LL1文法产生的表格，做的预测分析法计算器！如：7+7=；计算可得14.0000(LL1 parse calc.
have fun!)
Date : 2025-12-18
Size : 8kb
User : 瞒着
CodeBus is one of the largest source code repositories on the Internet!
Contact us :
1999-2046
CodeBus All Rights Reserved.