06第6章语法制导翻译技术概要.ppt

@MULT 继承属性1 继承属性2 综合属性指针 @ADD 继承属性1 继承属性2 综合属性指针 @ANSWER 继承属性 NUM 综合属性指针 E 综合属性指针 S S的栈符号 E的栈符号 NUM的栈符号 @ANSWER的栈符号 @ADD的栈符号 @MULT的栈符号 S→E↑p@ANSWER↓r r = p E↑p→+E↑qE↑r@ADD↓A1,A2↑R A1 = q, A2 = r, R = A1 + A2, p = R E↑p→*E↑qE↑r@MULT↓A1,A2↑R A1 = q, A2 = r, R = A1 * A2, p = R E↑p→NUM↑q p = q? * * 2、构造属性翻译文法LL(1)分析表。 符号 输入符号 + * NUM # S E 1 2 1 3 1 4 ? LL(1)析表 (1)S→E↑p@ANSWER↓r r=p (2)E↑p→+E↑qE↑r@ADD↓A1,A2↑R A1=q, A2=r, R= 1 + A2, p=R (3)E↑p→*E↑qE↑r@MULT↓A1,A2↑R A1=q, A2 =r, R= A1 * A2, p=R (4)E↑p→NUM↑q p=q? * * 3、语义动作设计 假定要求翻译器计算输出由文法定义的表达式值,三个动作符号的翻译动作为： 1) @ADD：把头两个域的内容相加并将结果存贮在第三个域所指的单元中，然后出栈。 2) @MULT：把头两个域的内容相乘并将结果存贮在第三个域所指的单元中，然后出栈。 3) @ANSWER：输出属性域的内容结果，然后出栈。 * * 1)#入栈，文法开始符号S入栈，输入指针指向符号+ +NUM↑2NUM↑3# S # 符号栈： 输入串 +NUM↑2NUM↑3# E ↑p @ANSWER ↓r # 符号栈： 2)查分析表S行+列，入栈，因为r = p，所以E↑p为指向@ANSWER↓r的指针。 符号 输入符号 + * NUM # S E 1 2 1 3 1 4 ? ? 输入符号串+NUM↑2NUM↑3#的分析过程： * * (1)S→E↑p@ANSWER↓r r = p (2)E↑p→+E↑qE↑r@ADD↓A1,A2↑R A1 = q, A2 = r, R = A1 + A2, p = R (3)E↑p→*E↑qE↑r@MULT↓A1,A2↑R A1 = q, A2 = r, R = A1 * A2, p = R (4)E↑p→NUM↑q p = q? NUM↑2NUM↑3# E ↑q E ↑r @ADD ↓A1 ↓A2 ↑R @ANSWER ↓r # 符号栈： 3)查分析表E行+列,E出栈前,E↑p指向@ANSWER↓r,因为E↑p=@ADD↑R,所以@ADD↑R指向@ANSWER↓r;新入栈的E↑q E↑r,分别指向@ADD↑A1↑A2;因栈顶为+,+出栈,读下一个符号。 符号 输入符号 + * NUM # S E 1 2 1 3 1 4 ? ? * * E ↑p @ANSWER ↓r # (1)S→E↑p@ANSWER↓r r = p (2)E↑p→+E↑qE↑r@ADD↓A1,A2↑R A1 = q, A2 = r, R = A1 + A2, p = R ...... +NUM↑2NUM↑3# NUM↑3# E ↑r @ADD 2 ↓A2 ↑R @ANSWER ↓r # 符号栈： 4)查分析表E行NUM列，E出栈前,E↑q指向@ADD↑A1,而E↑q =NUM↑q,所以NUM↑q入栈,把NUM ↑2放入E出栈前E↑q指向的单元@ADD↑A1。然后，NUM出栈,读下一个符号。 * * ...... (4)E↑p→NUM↑q p = q? 符号 输入符号 + * NUM # S E 1 2 1 3 1 4 ? 符号栈： E ↑q E ↑r @ADD ↓A1 ↓A2 ↑R @ANSWER ↓r # NUM↑2NUM↑3# 符号 输入符号 + * NUM # S E 1 2 1 3 1 4 ? 5) 查分析表E行NUM列，E出栈前,E↑r指向@ADD↑A2,而E↑r=NUM↑q,所以NUM↑q入栈,把NUM↑3放入E↑r指向的单元@ADD↑A2。然后NUM出栈，读下一个符号。 # @ADD 2 3 ↑R @ANSWER ↓r