➢ 表达式及赋值语句（包括数组元素的引用和赋值）
➢ 分支语句：if_then_else
➢ 循环语句：do_while
➢ 过程调用语句
1.声明语句及符号表管理
这部分内容中符号表管理方法参考了讲义7-7当中给出的符号表管理方案。整个过程维
护了offset栈和tblptr栈。声明语句部分参考讲义6-2当中的方案。X、C、T分别包含type和width
属性，表示他们的类型和宽度。为了适应LR（1）分析法，将产生式右部中间的语义动作用
标记非终结符进行了替换。
(1) P' → P
(2) P → proc id ; M0 begin D S end {addwidth(top(tblptr),top(offset)); pop(tblptr); pop(offset)}
注:offset 表示下一个可用的相对地址
(3) M0 → ε {t = mktable(nil); push(t,tblptr); push(0,offset)}
注：mktable 函数创建一个新的符号表，并返回指向新表的指针。参数 previous 指向外
围过程的符号表。同时将新生成的符号表指针及其对应的 offset=0 进栈。
(4) P → S
(5) S → S M S {backpatch(S1.nextlist,M.quad); S.nextlist=S2.nextlist;}
(6) M → ε {M.quad = nextquad}
(7) D → D D
(8) D → proc id; N1 begin D S end {t = top(tblptr); addwidth(t,top(offset)); pop(tblptr);
pop(offset); enterproc(top(tblptr),id.name,t)}
注：addwidth（table,width）函数将 table 指向的符号表中所有表项的宽度之和 width 记
录在符号表的表头中。enterproc(table,name,newtable)在 table 指向的符号表中为过程
name 建立一条记录，newtable 指向过程 name 的符号表。
(9) N1 → ε {t = mktable(top(tblptr)); push(t,tblptr); push(0,offset)}
(10) D → T id ; {enter(top(tblptr),id.name,T.type,top(offset)); top(offset) = top(offset) + T.width}
注:enter 函数在 table 指向的符号表中为名字 name 建立一个新的表项。
(11) T → X C {T.type = C.type; T.width = C.width;}
(12) T → record N2 D end {T.type = record(top(tblptr)); T.width = top(offset); pop(tblptr);
pop(offset)}
(13) N2 → ε {t = mktable(nil); push(t,tblptr); push(0,offset)}
(14) X → integer {X.type = integer; X.width = 4; t = X.type; w = X.width;}
注：这里的 t 和 w 将类型和宽度信息从语法分析树中的 B 节点传递到对应于产生式 C->
哈工大-编译原理.zip （165个子文件） 
AnalyzeTable 643KB
语义分析报告第一版.doc 511KB
