语法制导翻译和中间代码学时.pptVIP

例如aorbandnotc对应的四元式 (1)(not,c,-,t1) (2)(and,b,t1,t2) (3)(or,a,t2,t3)布尔表达式的翻译第30页，共41页，星期日，2025年，2月5日E?notE1 { E.true:=E1.false; E.codebegin:=E1.codebegin; E.false:=E1.true;}(2)E?E1andE2 { backpatch(E1.true,E2.codebegin); E.codebegin:=E1.codebegin; E.true:=E2.true; E.false:=merge(E1.false,E2.false); }(3)E?E1orE2 { backpatch(E1.false,E2.codebegin); E.codebegin:=E1.codebegin; E.true:=merge(E1.true,E2.true); E.false:=E2.false; }布尔表达式译为四元式的语义描述：第31页，共41页，星期日，2025年，2月5日(4)E?(E1) { E.true:=E1.true; E.codebegin:=E1.codebegin; E.false:=E1.false;}(5)E?id1ropid2 { E.true:=nextstat; E.codebegin:=nextstat; E.false:=nextstat+1; emit(‘if’,id1.place,‘rop’,id2.place,‘goto’,–); emit(‘goto’,-); }(6)E?id { E.true:=nextstat; E.codebegin:=nextstat; E.false:=nextstat+1; emit(‘if’,id1.place,‘goto’,–); emit(‘goto’,-); }第32页，共41页，星期日，2025年，2月5日控制语句S?ifEthenS1elseS2E.falseE的代码E.trueE.false:S2的代码gotooutE.true:S1的代码out:控制语句中布尔表达式的翻译第33页，共41页，星期日，2025年，2月5日举例将下列控制语句翻译成四元式ifaborcdandefthenS1elseS2控制语句中布尔表达式的翻译ifabgoto(i+1) //i+1是S1的入口ifcdgoto(4)goto(6)ifefgoto(i+1) [关于S2的四元式] ┋(i)goto(n) //n是S1的出口(i+1)[关于S1的四元式] ┋(n)第34页，共41页，星期日，2025年，2月5日例forI:=1step1untilNdoM:=M+I对应的四元式For循环语句的翻译I:=1goto(4)I:=I+1ifI=Ngoto(6)goto(9)T:=M+IM:=Tgoto(3)……第35页，共41页，星期日，2025年，2月5日课堂练习1(1)(2)(5)(6)(7)2[逆波兰式、三元式、四元式序列]3567第36页，共41页，星期日，2025年，2月5日课后1(1)a*(-b+c) ab一c+*(2)?A∨?(C∨?D) A?CD?∨?∨(5)-a+b*(-c+d) a一bc一d+*+(6)(A∨B)∧(C∨?D∧E) AB∨CD?E∧∨∧(7)if(x+y)*z=0thens:=(a+b)*c elses:=a*b*c第37页，共41页，星期日，2025年，2月5日三元式序列(+,a,b)(-,(1),-)(+,c,d)(*,(2),(3))(+,a,b)(+,(5),c)(-,(4),(6))课后2[逆波兰式、三