第十节 上机实验内容.pptVIP

第十章 上机实验内容 10.1 实验一 编译程序的分析与验证 10.2 实验二 算术表达式的扩充 10.3 实验三 添加新的程序语句(一) 10.4 实验四 添加新的程序语句(二) 10.1 实验一 编译程序的分析与验证 1. 实验目的 了解编译程序中LR分析表的作用以及语义加工程序的功能。 2. 实验要求 通过编译程序PAS和COMPILER的运行，检验编译程序输出结果的正确性。 3. 实验内容 (1) 验证下述程序输出结果的正确性： begin i:=1; while i=N do begin i:=i+1; if B=1 then begin j:=2; while i*j=N do begin B:=0; j:=j+1 end end end end#~ (2) 自行设计一程序进行正确性验证, 给出二元式序列的注释及状态栈STACK加工分析对应的符号栈内容。 10.2 实验二 算术表达式的扩充 1. 实验目的 掌握LR分析表的设计方法和语义加工程序的扩充。 2. 实验要求 参照算术表达式LR分析表的设计方法，设计扩充后的算术表达式LR分析表，并对原语义加工程序进行修改，加入新添加的内容。 3. 实验内容 算术表达式文法扩充如下： E→E+E∣E-E∣E*E∣E/E∣(E)∣i 试根据该文法重新设计LR分析表，并修改语义加工程序，最后验证修改的结果。 10.3 实验三 添加新的程序语句(一) 1. 实验目的 通过添加新的程序语句，全面了解一个语句的编译程序设计过程。 2. 实验要求 对添加的语句设计LR分析表及相应的处理程序，并将其添加到程序语义处理程序中。 3. 实验内容 将计数循环for语句的功能添加到编译程序中。for语句的文法及每个产生式相应的语义子程序如下： F1→for i:=E(1) {GEN(:=,E(1).PLACE,_,ENTRY(i); F1.PLACE:=ENTRY(i); F1.CHAIN:=NXQ; GEN(j,_,_,0); F1·QUAD:=NXQ} F2→F1 step E(2) {F2.QUAD:=F1.QUAD； F2.PLACE:=F1.PLACE; GEN(+，F1.PLACE,E(2).PLACE,F1.PLACE); BACKPATCH(F1.CHAIN,NXQ)} F3→F2 until E(3) {F3.QUAD:=F2.QUAD； q:=NXQ; GEN(j≤,F2.PLACE,E(3).PLACE,q+2); F3.CHAIN:=NXQ; GEN(j,_,_,0)} S→F3 do S(1) {先形成S(1)相应的四元式序列； GEN(j,_,_,F3.QUAD); BACKPATCH(S(1).CHAIN,F3.QUAD); S.CHAIN:=F3.CHAIN} 4. 说明 (1) 实现时可对for语句的文法设计出一个LR分析表，然后将该文法的开始符看作程序语句LR分析表中的一个终结符，即像赋值语句一样处理(当然仍要重新设计程序语句的LR分析表)。另一种方法就是直接将for语句的文法纳入到程序语句文法中(即像if和while语句一样处理)，并重新设计程序语言的LR分析表。 (2) ?for语句中产生式的语义动作需要参考编译程序中对if和while语句的处理部分做相应修改。 10.4 实验四 添加新的程序语句(二) 1. 实验目的 掌握另一种添加语句功能的方法。 2. 实验要求 通过深入了解语句的内在功能，利用等价变换的方法实现语句的编译过程。 3. 实验内容 已知repeat语句与while语句的功能结构图如图10-1所示。 通过等价