编译原理chpt2PL0素材.ppt

* * * * * T B 临时单元 数组内情向量 局部量 Display表 形参单元 形参数目 全局display地址 RA DL 函数返回值 当过程的层次为k，它的display为k+1个值，依次存放着现行层，直接外层…直至最外层的每一过程的最新活动记录的基地址。 一个过程被调用时，从调用过程的DISPLAY表中自下向上抄录k个SP值，再加上本层的SP值。 全局DISPLAY地址 d const a=1, b=2, c=3; var step; procedure move(n, from, buf, to); begin if n0 //递归总是有条件的 begin cal move(n-1, from, to, buf); write(from, ?“, to); step:=step+1; cal move(n-1, buf, from, to); end end; begin step:=0; cal move(3, a, b, c); write(step=“, step); end. 作业（P30）： 2、 3、5 A B C 给出上面两个盘子已经移到B上，而A上只剩一个盘子时数据栈的状态。 对调用move(3, a, b, c); 上机调试观察调用执行过程，画出调用分解示意图 move(2, a, c, b); move(1, a, b, c); move(1, c, a, b); a-b move(2, b, a, c); a-c * * * * * * * 前11页第三次 * * * * * * * * * * * * * * * * * * * * * * 3.4 PL/0语义分析的设计与实现 说明部分的分析与处理 表格管理 过程体(语句）的分析与处理 说明部分的分析与处理--登录符号表 对每个过程（含主程序）说明的对象（变量，常量和过程）造符号表 登录标识符的属性。 标识符的属性:种类，所在层次,值和分配的相对位置。 登录信息由ENTER过程完成。 符号表结构 enum object {constant, variable, procedur}; struct tablestruct { char name[al]; enum object kind; int val, level, adr, size; } table[txmax]; const a=35;//常量无层次 var a1,a2,a3; Procedure P; var b1,b2; procedure P1; var c; …… procedure P2; var d; …… …… …… 注意：在单趟编译中，对于并列的函数（或分程序），其相应的符号表不会同时存在。 过程P2在code的入口 (0) jmp 0 0 CX (1) jmp 0 0 (2) jmp 0 0 …… (k) jmp 0 0 名字 类 值 层次 地址 大小 变量说明部分: :=var标识符{， 标识符}； if(sym==varsym)/* 收到变量声明符号，开始处理变量声明 */ {getsymdo; do{vardeclarationdo(tx, lev, dx); while (sym == comma) {getsymdo; vardeclarationdo(tx, lev, dx); } if (sym == semicolon) {getsymdo;} else error(5); }while (sym == ident); } 注意：tx 变量说明处理 int vardeclaration(int* ptx,int lev,int* pdx) {if (sym == ident) {enter(variable, ptx, lev, pdx);//填写名字表 getsymdo; } else {error(4);} /* var后应是标识符 */ retu