《编译原理习题》PPT课件.ppt

《《编译原理习题》PPT课件.ppt》由会员上传分享，免费在线阅读，更多相关内容在教育资源-天天文库。

1、1.四元式之间的联系是通过_____实现的A、临时变量B、序列行号C、程序变量D、符号表2.中间代码生成时所依据的是_________A、词法规则B、语法规则C、语义规则D、等价变换3.在编译程序中与生成中间代码的目的无关的是______A、便于目标代码的优化B、便于存储空间的组织C、便于目标代码的移植D、便于编译程序的移植14、在语法制导翻译中，不采用拉链-回填技术的语句是____A.转向语句B、赋值语句C、条件语句D、循环语句5、能正确表示算术表达式a+b*c+d的后缀式是____A、abc*+d+B.abc*d++C.ab+cd

2、*+D.bc*a+d+6、对_____表进行变动较为困难A、三元式B、间接三元式C、四元式D、三地址码27、P202练习5.2.3.有产生式A→BCD，其中四个文法符号均有两个属性，s为综合属性，i为继承属性。判断是否符合S属性定义；是否符合L属性定义；是否存在和这些规则一致的求值过程1)A.s=B.i+C.s2)A.s=B.i+C.s和D.i=A.i+B.s3)A.s=B.s+D.s4)A.s=D.i,B.i=A.s+C.s,C.i=B.s和D.i=B.i+C.i385.3.1E→E+T

3、TT→num.num

4、num1)给出一个SD

5、D来确定每个项T和表达式E的类型解：重写文法为：E→E1+T

6、TT→num1.num2

7、num引入属性type,type为int表示整型，为float表示实型，给出SDD：产生式语义规则E→E1+Tif(E1.type==int)&&(T.type==int)E.type=int;elseE.type=float;E→TE.type=T.typeT→num1.num2T.type=floatT→numT.type=int495.4.4为下面的产生式写出与例5.10类似的一个L属性SDD。S→if(C)S1elseS2解：语义规则为：L

8、1=new();L2=new();C.true=L1;C.false=L2;S1.next=S2.next=S.next;S.code=C.code

9、

10、label

11、

12、L1

13、

14、S1.code

15、

16、goto

17、

18、S.next

19、

20、label

21、

22、L2

23、

24、S2.code5105.5.5按照5.5.4节的风格，将5.4.4中得到的每个SDD和一个LR语法分析器一起实现。解：加入必要的占位符，重写文法为：S→if(M1C)M2S1elseM3S2M→ε假设S.next位于归约之后的栈顶第二条记录：可以给出S识别过程的LR语法分析栈变化及相关代码如下：?

25、S.nextif(M1C.trueC.falseL1L2将ε归约到M1时执行的代码：C.true=L1=new();C.false=L2=new();6?S.nextif(M1C.trueC.falseL1L2将ε归约到M2时执行的代码：S1.next=stack[top-6].next;CC.code)M2S1.next7?S.nextif(M1C.trueC.falseL1L2将ε归约到M3时执行的代码：S2.next=stack[top-9].next;CC.code)M2S1.nextS1S1.codeelseM3S2.nex

26、t8?S.nextif(M1C.trueC.falseL1L2将if(M1C)M2S1elseM3S2归约到S时的代码：tempcode=stack[top-6].code

27、

28、label

29、

30、stack[top-7].L1

31、

32、stack[top-3].code

33、

34、goto

35、

36、stack[top-10].next

37、

38、label

39、

40、stack[top-7].L2

41、

42、stack[top].codetop=top–9;stack[top].code=tempcode;CC.code)M2S1.nextS1S1.codeelseM3S2.next

43、S2S2.code911、为下面的表达式构造DAG((x+y)-((x+y)*(x-y)))+((x+y)*(x-y))+xy–*–+1012、P237练习6.2.1将算术表达式a+-(b+c)翻译成抽象语法树、四元式序列、三元式序列、间接三元式序列。抽象语法树+auminus+bc四元式序列三元式序列012+bcuminus(0)+a(1)+bct1uminust1t2+at2t31112、P237练习6.2.1将算术表达式a+-(b+c)翻译成抽象语法树、四元式序列、三元式序列、间接三元式序列。+bcuminus(0)+a(1)0

44、12(0)(1)(2)指令303132间接三元式1213、P237练习6.2.2a=b[i]+c[j]抽象语法树=a+bi四元式序列*i8t1=[]bt1t2*j8t3=[]ct3t4+t2t4t5=t5a=[]=[]c