compiler5_附_语义分析程序构造.pptVIP

第5章 语义分析程序构造 程序说明 输入：文法、语义规则、输入符号串 输出：错误、正确提示 过程： 语法分析+语义分析 语义分析方法： S-属性 适用于自底向上的计算 L-属性 适用于自顶向下的分析，也可用于自底向上。 例5.1 已知台式计算器程序的文法G[E’]、语义规则如下，请判断id*id+id∈L(G[E’])?，并作语义分析。 解: 1) SLR(1)分析表 解: 1) SLR(1)分析表 解: 1) SLR(1)分析表 解: 1) SLR(1)分析表 解: 1) SLR(1)分析表 解: 1) SLR(1)分析表 解: 1) SLR(1)分析表 解: 1) SLR(1)分析表 解: 1) SLR(1)分析表 解: 1) SLR(1)分析表 解: 1) SLR(1)分析表 解: 1) SLR(1)分析表 解: 1) SLR(1)分析表 解: 1) SLR(1)分析表 2) 分析过程 解答： id*id+id∈L(G[E’])， 语法正确， 且语义正确。 例5.2 已知二目运算符的运算对象进行类型匹配审查程序的文法G[E]、语义规则如下，请分别判断n+n和n+b∈L(G[E])?，并作语义分析。 (1) E?T1 + T2 { if T1.type = int and T2.type= int then E.type :=int else error} (2) E ?T1 or T2 { if T1.type = bool and T2.type= bool then E.type :=bool else error} (3) T ? n { T.type := int} (4) T ? b { T.type := bool} 解答1： n+n∈L(G[E])， 语法正确， 且语义正确。 解答2： n+b∈L(G[E])， 语法正确， 但语义错误。 * * ● 程序说明 ● 实例分析 输入符号串 ? 分析树 ? 属性依赖图 语义规则的计算顺序 产生式 语义规则 0 E’?E print(E?val) 1 E ?E1+T E ?val = E1 ? val+T ? val 2 E ?T E ?val = T ? val 3 T ?T1*F T ?val = T1 ? val*F ? val 4 T ?F T ?val = F ? val 5 F ?(E) F ?val = E? val 6 F ?id F ?val = id?lexval GOTO ACTION R5 R5 R5 R5 11 R3 R3 R3 R3 10 R1 R1 S7 R1 9 S11 S6 8 10 S5 S4 7 3 9 S5 S4 6 R6 R6 R6 R6 5 3 2 8 S5 S4 4 R4 R4 R4 R4 3 R2 R2 S7 R2 2 ACC S6 1 3 2 1 S5 S4 0 F T E # id ) ( * + 0 E’?E {print(E.val)} 1 E?E1+T {E.val = E1.val+T.val} 2 E?T {E.val = T.val} 3 T?T1*F {T.val = T1. val*F.val} 4 T?F{T.val = F.val} 5 F?(E) {F.val = E.val} 6 F?id { F.val = id.lexval} 2) 分析过程 1 shift id*id+id# 0 动作 符号串 语义栈 状态+符号栈 GOTO ACTION R5 R5 R5 R5 11 R3 R3 R3 R3 10 R1 R1 S7 R1 9 S11 S6 8 10 S5 S4 7 3 9 S5 S4 6 R6 R6 R6 R6 5 3 2 8 S5 S4 4 R4 R4 R4 R4 3 R2 R2 S7 R2 2 ACC S6 1 3 2 1 S5 S4 0 F T E # id ) ( * + 0 E’?E {print(E