PL0文档.docx
《PL0文档.docx》由会员分享，可在线阅读，更多相关《PL0文档.docx（55页珍藏版）》请在冰豆网上搜索。
PL0文档
具体要求题目：
对现存的PL/0编译程序可做如下修改或扩充。
（1）注释
注释由（*和*）包含，不允许嵌套。
（2）布尔类型的数据
布尔类型的BNF为：
var_option→ε|varvar_decl_list
var_decl_list→var_decl|var_decl_listvar_decl
var_decl→ident_list:
data_type
data_type→integer|boolean
这种修改包括：
（i）区别整型与布尔型变量、常量和表达式。
（ii）增加按严格计算的布尔类型运算符and、or和not。
这些算符以及己有的运算符的优先级与Pascal语言相同。
（iii）能够使用布尔常量true和false。
（3）数组
增加由任何数据类型构造的一维数组。
数组的下标限于纯量类型。
注意：
数组可以由其它的数组来构造，因而必须考虑多维数组的情况。
数组的上下界可为任意的纯量常数。
数组的定义如下：
data_type→integer|boolean|array[const..const]ofdata_type
const→ident|number
语言中允许有数组说明，对数组元素赋值，在表达式中引用数组元素。
为了便于解释执行，可能要增加新的PL/0机器操作指令。
（4）参数语法同Pascal，采用值-结果方式传递（不用var声明）。
（5）函数语法同Pascal。
（6）else子句
（7）for语句，语法参照Pascal或C语言。
（8）exit语句（退出当前执行过程）和break语句（跳出包含它的最内层循环）
注意：
上面的这些要求有时会互相影响：
例如实现布尔类型数据，则数组和
参数就应该能处理其相互组合的情况，如布尔型数组（包括多维数组）、布尔型作为下标的数组、布尔型作为参数传递。
甚至能够实现数组作为参数传递等。
另外，为了实现以上功能，你可任意增加PL/0处理机的指令。
但要注意指令的简单与合理。
实现PL/0语言的输入、输出语句。
其语法、语义定义和Pascal语言相同。
可以仅仅实现一次输入或输出一个值的语句——语句参数固定；也可以实现完全和Pascal语言一样，能够接受任意个数参数的输入或输出语句。
附录：
PL/0语言介绍
PL/0程序设计语言是一个较简单的语言，它以赋值语句为基础，构造概念有顺序、条件和重复（循环）三种。
PL/0有子程序概念，包括过程定义（可以嵌套）与调用且有局部变量说明。
PL/0中唯一的数据类型是整型，可以用来说明该类型的常量和变量。
当然PL/0也具有通常的算术运算和关系运算。
具体的PL/0语法图如下。
1.1PL/0语言的语法图
程序
程序体
语句序列
语句
条件
表达式
项
因子
设计过程中的注意事项：
1、编程习惯
程序描述（一般在程序开头）、注释（1/3）、缩进和空格。
2、文件管理
学会正确的文件管理技术非常重要，经验告诉我们，优秀的软件开发者往往具有很好的文件管理技巧，应该应用在所有的项目中。
在根目录下建立一个子目录，在该子目录下建立各个项目的子目录，如C:
\compiler\scanner,C:
\compiler\parser,…
3、备份工作
在工业界，所有的公司都有备份机制，应该意识到备份的重要性，应该强制要求自己采用某种备份策略，应该将资料备份到不同的设备上（服务器、USB盘、硬盘等等）。
2.PL/0语言编译器
本书所提供的PL/0语言编译器的基本工作流程如图1-1所示：
2.1词法分析
PL/0的语言的词法分析器将要完成以下工作：
（1）跳过分隔符（如空格，回车，制表符）；
（2）识别诸如begin，end，if，while等保留字；
（3）识别非保留字的一般标识符，此标识符值（字符序列）赋给全局量id，而全局量sym赋值为SYM_IDENTIFIER。
（4）识别数字序列，当前值赋给全局量NUM，sym则置为SYM_NUMBER；
（5）识别:
=，<=，>=之类的特殊符号，全局量sym则分别被赋值为SYM_BECOMES，SYM_LEQ，SYM_GEQ等。
相关过程（函数）有getsym（），getch（），其中getch（）为获取单个字符的过程，除此之外，它还完成：
（1）识别且跳过行结束符；
（2）将输入源文件复写到输出文件；
（3）产生一份程序列表，输出相应行号或指令计数器的值。
2.2语法分析
我们采用递归下降的方法来设计PL/0编译器。
以下我们给出该语言的FIRST和FOLLOW集合。
非终结符（S）
FIRST（S）
FOLLOW（S）
程序体
constvarprocedureidentcallifbeginwhile
.;
语句
identcallbeginifwhile
.;end
条件
odd+-（identnumber
thendo
表达式
+-（identnumber
.;）Rendthendo
项
identnumber（
.;）R+-endthendo
因子
identnumber（
.;）R+-*/endthendo
注：
表中R代表六个关系运算符。
不难证明，PL/0语言属于LL
（1）文法。
（证明从略。
）
以下是我们给出如何结合语法图编写（递归下降）语法分析程序的一般方法。
假定图S所对应的程序段为T（S），则：
（1）用合适的替换将语法约化成尽可能少的单个图；
（2）将每一个图按下面的规则（3）-（7）翻译成一个过程说明；
（3）顺序图对应复合语句：
对应：
beginT（S1）;T（S2）;...;T（Sn）end
（4）
选择：
对应：
case语句或者条件语句：
casechofifchinL1thenT（S1）else
L1:
T（S1）;ifchinL2thenT（S2）else
L2:
T（S2）;或...
...ifchinLnthenT（Sn）else
Ln:
T（Sn）;error
其中Li∈FIRST（Si），ch为当前输入符号。
（下同）
（5）循环
对应：
whilechinLdoT（S）
（6）表示另一个图A的图：
对应：
过程调用A。
（7）表示终结符的单元图：
对应：
ifch==xthenread（ch）elseerror
相关过程有：
block（）,constdeclaration（）,vardeclaration（）,statement（）,condition（）,expression（）,term（）,factor（）等。
它们之间依赖关系如图1-2：
2.3语义分析
PL/0的语义分析主要进行以下检查：
（1）是否存在标识符先引用未声明的情况；
（2）是否存在己声明的标识符的错误引用；
（3）是否存在一般标识符的多重声明。
2.4代码生成
PL/0编译程序不仅完成通常的词法分析、语法分析，而且还产生中间代码和“目标”代码。
最终我们要“运行”该目标码。
为了使我们的编译程序保持适当简单的水平，不致陷入与本课程无关的实际机器的特有性质的考虑中去，我们假想有台适合PL/0程序运行的计算机，我们称之为PL/0处理机。
PL/0处理机顺序解释生成的目标代码，我们称之为解释程序。
注意：
这里的假设与我们的编译概念并不矛盾，在本课程中我们写的只是一个示范性的编译程序，它的后端无法完整地实现，因而只能在一个解释性的环境下予以模拟。
从另一个角度上讲，把解释程序就看成是PL/0机硬件，把解释执行看成是PL/0的硬件执行，那么我们所做的工作：
由PL/0源语言程序到PL/0机器指令的变换，就是一个完整的编译程序。
PL/0处理机有两类存贮，目标代码放在一个固定的存贮数组code中，而所需数据组织成一个栈形式存放。
PL/0处理机的指令集根据PL/0语言的要求而设计，它包括以下的指令：
（1）LIT/*将常数置于栈顶*/
（2）LOD/*将变量值置于栈顶*/
（3）STO/*将栈顶的值赋与某变量*/
（4）CAL/*用于过程调用的指令*/
（5）INT/*在数据栈中分配存贮空间*/
（6）JMP,JPC/*用于if,while语句的条件或无条件控制转移指令*/
（7）OPR/*一组算术或逻辑运算指令*/
上述指令的格式由三部分组成：
F
L
A
其中，f,l,a的含义见下表：
F
L
a
INT
———
常量
LIT
———
常量
LOD
层次差
数据地址
STO
层次差
数据地址
CAL
层次差
程序地址
JMP
———
程序地址
JPC
———
程序地址
OPR
———
运算类别
表2-1PL/0处理机指令
上表中，层次差为变量名或过程名引用和声明之间的静态层次差别，程序地址为目标数组code的下标，数据地址为变量在局部存贮中的相对地址。
PL/0的编译程序为每一条PL/0源程序的可执行语句生成后缀式目标代码。
这种代码生成方式对于表达式、赋值语句、过程调用等的翻译较简单。
如赋值语句X:
=YopZ（op为某个运算符），将被翻译成下面的目标代码序列：
（设指令计数从第100号开始）
No.
f
L
a
100
LOD
Level_diff_Y
Addr_Y
101
LOD
Level_diff_Z
Addr_Z
102
OPR
——————
op
103
STO
Level_diff_X
Addr_X
而对if和while语句稍繁琐一点，因为此时要生成一些跳转指令，而跳转的目标地址大都是未知的。
为解决这一问题，我们在PL/0编译程序中采用了回填技术，即产生跳转目标地址不明确的指令时，先保留这些指令的地址（code数组的下标），等到目标地址明确后再回过来将该跳转指令的目标地址补上，使其成为完整的指令。
下表是if、while语句目标代码生成的模式。
（L1，L2是代码地址）
ifCthenS
WhileCdoS
条件C的目标代码
JPC--L1
语句S的目标代码
L1:
...
L1:
条件C的目标代码
JPC–L2
语句S的目标代码
JMPL1
L2:
...
表2-2if-while语句目标代码生成模式
相关过程（函数）有：
gen（），其任务是把三个参数f、l、a组装成一条目标指令并存放于code数组中，增加CX的值，CX表示下一条即将生成的目标指令的地址。
2.5代码执行
为了简单起见，我们假设有一个PL/0处理机，它能够解释执行PL/0编译程序所生成的目标代码。
这个PL/0处理机有两类存贮、一个指令寄存器和三个地址寄存器组成。
程序（目标代码）存贮称为code，由编译程序装入，在目标代码执行过程中保持不变，因此它可被看成是“只读”存贮器。
数据存贮S组织成为一个栈，所有的算术运算均对栈顶元和次栈顶元进行（一元运算仅作用于栈顶元），并用结果值代替原来的运算对象。
栈顶元的地址（下标）记在栈顶寄存器T中，指令寄存器I包含着当前正在解释执行的指令，程序地址寄存器P指向下一条将取出的指令。
PL/0的每一个过程可能包含着局部变量，因为这些过程可以被递归地调用，故在实际调用前，无法为这些局部变量分配存贮地址。
各个过程的数据区在存贮栈S内顺序叠起来，每个过程，除用户定义的变量外，还应当有它自己的内部信息，即调用它的程序段地址（返回地址）和它的调用者的数据区地址。
在过程终止后，为了恢复原来程序的执行，这两个地址都是必须的。
我们可将这两个内部值作为位于该过程数据区的内部式隐式局部变量。
我们把它们分别称为返回地址（returnaddress）RA和动态链（dynamiclink）DL。
动态链的头，即最新分配的数据区的地址，保存在某地址寄存器B内。
因为实际的存贮分配是运行（解释）时进行的，编译程序不能为其生成的代码提供绝对地址，它只能确定变量在数据区内的位置，因此它只能提供相对地址。
为了正确地存取数据，解释程序需将某个修正量加到相应的数据区的基地址上去。
若变量是局部于当前正在解释的过程，则此基地址由寄存器B给出，否则，就需要顺着数据区的链逐层上去找。
然而遗憾的是，编译程序只能知道存取路线的表的长度，同时动态链保存的则是过程活动的动态历史，而这两条存取路线并不总是一样。
例如，假定有过程A，B，C，其中过程C的说明局部于过程B，而过程B的说明局部于过程A，程序运行时，过程A调用过程B，过程B则调用过程C，过程C又调用过程B，如下图所示：
从静态的角度我们可以说A是在第一层说明的，B是在第二层说明的，C则是在第三层说明的。
若在B中存取A中说明的变量a，由于编译程序只知道A，B间的静态层差为1，如果这时沿着动态链下降一步，将导致对C的局部变量的操作。
为防止这种情况发生，有必要设置第二条链，它以编译程序能明了的方式将各个数据区连接起来。
我们称之为静态链（staticlink）SL。
这样，编译程序所生成的代码地址是一对数，指示着静态层差和数据区的相对修正量。
下面我们给出的是过程A、B和C运行时刻的数据区图示：
DLRASL
A的变量
B的变量
C的变量
B的变量
有了以上认识，我们就不难明白PL/0源程序的目标代码是如何被解释执行的。
以语句X：
=YopZ为例，（该语句的目标代码序列我们己在2.4节给出），PL/0处理机解释该指令的“步骤”如下：
step1,
S[++T]←S[base（level_diff_Y）+addr_Y];
//将变量Y的值放在栈顶
step2,
S[++T]←S[base（level_diff_Z）+addr_Z];
//将变量Z的值放在栈顶，此栈顶元为变量Y的值
step3,
T--;
//栈顶指针指向次栈顶元，即存放结果的单元
step4,
S[T]←S[T]opS[T+1];
//变量Y和变量Z之间进行“op”操作
step5,
S[base（level_diff_X）+addr_X]←S[T];
//将栈顶的值存放到变量X所在的单元
step6,
T--;
//栈顶指针减一
相关过程：
base（），interpret（）。
其中base（）的功能是根据层次差并从当前数据区沿着静态链查找，以便获取变量实际所在的数据区基地址；interpret（）则完成各种指令的执行工作。
2.6错误诊断处理
一个编译程序，在多数情况下，所接受的源程序正文都是有错误的。
发现错误，并给出合适的诊断信息且继续编译下去从而发现更多的错误，对于编译程序而言是完全必要的。
一个好的编译器，其特征在于：
◆任何输入序列都不会引起编译程序的崩溃。
◆一切按语言定义为非法的结构，都能被发现和标志出来。
◆经常出现的错误，程序员的粗心或误解造成的错误能被正确地诊断出来，而不致引起进一步的株连错误。
根据这样的要求，我们为PL/0编译程序制定了以下两条规则：
（1）关键字规则；程序员在写程序时，可能会因为粗心而漏掉语句的分隔符——“;”，但他决不会漏掉算术运算符“+”，对于编译程序而言，不论是分隔符号类的符号还是关键字符号类的符号，它们都具有同等重要的地位。
基于这样的特点，我们可以采用不易出错的部分来作为恢复正常步调的标记。
每当遇到错误时，分析程序跳过后面的某些部分，直到出现所期望的符号为止。
对于程序设计语言来说，这种符号（称为同步符号）的最好选择就是关键字。
PL/0的每一种构造语句以begin、if或while开头；每种说明则以var、const或procedure开头。
每遇到错误时，编译程序便可跳过一段程序，直到遇到这类符号为止，而继续编译。
（2）镇定规则；自顶向下分析的特点在于目标被分成一些子目标，分程序则用别的分析程序来处理其子目标。
镇定规则是说一个分析程序发现了错误，它不应该消极地停止前进，仅仅向调用它的程序报告发生的错误；而应该自己继续向前扫描，找到似乎可以使正常的分析得以恢复的地方。
这一规则在程序设计上的含义就是任一分析程序除了正常终止外，没有其它出口。
对于镇定规则，一个可能的严格解释为：
一旦发现非法结构，即跳过后面的输入正文，直到下一个可以正确地跟随当前正在分析的句子结构的符号为止。
这意味着每一分析程序需知道其当前活动结点的后继符号集合。
为了找到这个后继符号集合，我们给对应语法图的每一个分析过程提供一个显式参数，set，它指明可能的后继集合。
不过在任何条件下，如果都跳到输入正文中下一个这种后继符号出现的地方，未免太短视了。
程序中所含的错误可能只不过是漏掉了一个符号（如“;”）而己，由此而忽略去源程序的符号集合中，再凑加一些关键字，它们用于标记那些不容忽略的结构的开始符，因此，作为参数传递给分析过程的那些符号就不仅是后继符号了。
对于这样的符号集，我们采用这样的计算策略：
先用一些明显的关键符号给它赋初值，然后随着分析子目标的层次深入，逐步补充别的合法符号。
为了灵活起见，我们引入test子程序来实现所说的验证工作。
test过程有三个参数：
（1）可允许的下一个符号集合S1，如果当前符号不在此集合中，当即得到一个错误号；
（2）另加的停止符号集合S2，有些符号的出现，虽然无疑是错的，但它们绝对不应被忽略而跳过；
（3）整数n，表示有关错误的诊断号：
voidtest（symsets1,symsets2,intn）
{
symsets;
if（!
inset（sym,s1））
{
error（n）;
s=uniteset（s1,s2）;
while（!
inset（sym,s））
getsym（）;
destroyset（s）;
}
}
我们前面提出的方案，具有这样的性质：
试图通过略过输入正文中的一个或多个符号来恢复分析的正常步调。
在错误仅为漏掉一个符号所引起的情况下，它都是不适宜的策略。
经验表明，这类错误基本上限于那种仅有语法作用，而不代表动作的符号（如“;”）。
把一些关键字加到后继符号集合中去可使分析程序不再盲目地跳过后面的符号，好象漏掉的已经补上去一样。
下面程序段就是PL/0分析程序中复合语句分析的一小段。
它的效果等于关键字前插入漏掉的分号。
statbegsys集合是“语句”这个结构的首符号集。
if（sym==SYM_BEGIN）
{getsym（）;
set1=createset（SYM_SEMICOLON,SYM_END,SYM_NULL）;
set=uniteset（set1,fsys）;
statement（set）;
while（sym==SYM_SEMICOLON||inset（sym,statbegsys））
{
if（sym==SYM_SEMICOLON）
{
getsym（）;
}
else
{
error（10）;
}
statement（set）;
}//while
destroyset（set1）;
destroyset（set）;
if（sym==SYM_END）
{
getsym（）;
}
else
{
error（17）;//';'or'end'expected.
}
}
相关过程：
test（）,inset（）,createset,uniteset（）,error（）.
2.7符号表管理
为了组成一条指令，编译程序必须知道其操作码及其参数（数或地址）。
这些值是由编译程序本身联系到相应标识符上去的。
这种联系是在处理常数、变量和过程说明完成的。
为此，标识符表应包含每一标识符所联系的属性；如果标识符被说明为常数，其属性值为常数值；如果标识符被说明成变量，其属性就是由层次和修正量（偏移量）组成的地址；如果标识符被说明为过程，其属性就是过程的入口地址及层次。
常数的值由程序正文提供，编译的任务就是确定存放该值的地址。
我们选择顺序分配变量和代码的方法；每遇到一个变量说明，就将数据单元的下标加一（PL/0机中，每个变量占一个存贮单元）。
开始编译一个过程时，要对数据单元的下标dx赋初值，表示新开辟一个数据区。
dx的初值为3，因为每个数据区包含三个内部变量RA，DL和SL。
相关过程：
enter（），该函数用于向符号表添加新的符号，并确定标识符的有关属性。
2.8其他
本教程所提供的PL/0编译程序包括词法分析、语法分析、错误诊断、代码生成、解释执行等几部分。
关于这几个程序，我们做如下说明：
（1）每一个分程序（过程）被编译结束后，将列出该部分PL/0程序代码。
这个工作由过程listcode（）完成。
注意，每个分程序（过程）的第一条指令未被列出。
该指令是跳转指令。
其作用是绕过该分程序的说明部分所产生的代码（含过程说明所产生的代码）。
（2）解释程序作为PL/0编译程序的一个过程，若被编译的源代码没有错误，则编译结束时调用这个过程。
（3）PL/0语言没有输出语句。
解释程序按执行次序，每遇到对变量的赋值就输出其值。
附源程序：
/************PL0.h*************/
#include
#defineNRW11//numberofreservedwords
#defineTXMAX500//lengthofidentifiertable
#defineMAXNUMLEN14//maximumnumberofdigitsinnumbers
#defineNSYM10//maximumnumberofsymbolsinarrayssymandcsym
#defineMAXIDLEN10//lengthofidentifiers
#defineMAXADDRESS32767//maximumaddress
#defineMAXLEVEL32//maximumdepthofnestingblock
#defineCXMAX500//sizeofcodearray
#defineMAXSYM30//maximumnumberofsymbols
#defineSTACKSIZE1000//maximumstorage
enumsymtype
{
SYM_NULL,
SYM_IDENTIFIER,
SYM_NUMBER
升级会员 