编译原理习题课件.pptVIP

两种自底向上分析方法： （1）基于L属性定义，特别考虑 嵌入语义动作的处理 引入标记非终结符号M和规则M??，将原语义动作与规则M??结合 去掉原来的嵌入语义动作 继承属性的处理 用综合属性代替继承属性 statement ::= do statement while condition S→ do S1 while C S1 C L1 L2 Y N S.next S→ do M1 S1 while M2 C ? S.next do M1 C.true C.true=newLabel( ); emit(‘label’ C.true); S1.next=newlabel( ); S1.next M1-ε S1 C L1 L2 Y N S.next S→ do M1 S1 while M2 C ? S.next do M1 C.true S1.next S1 while M2 M2-ε C.true C.false C.true=stack[top-3].true; emit(‘label’ stack[top-3.next]); C.false=stack[top-5].next; 两种自底向上分析方法： （2）拉链回填 S1 C L1 L2 Y N S.nextlist S→ do M1 S1 while M2 C { backpatch(S1.nextlist, M2.instr); backpatch(C.truelist, M1.instr); S.nextlist = C.falselist } M?ε {M.instr = nextinstr;} 1A, 2C，3B 只有第(3)组规则为S属性定义；（1）、（2）、（3）为L属性定义；（4）不是L属性定义，且不存在与该组规则一致的求值过程 4B,5A,6A * 1.四元式之间的联系是通过_____实现的 A、临时变量 B、序列行号 C、程序变量 D、符号表 2.中间代码生成时所依据的是_________ A、词法规则 B、语法规则 C、语义规则 D、等价变换 3.在编译程序中与生成中间代码的目的无关的是______ A、便于目标代码的优化 B、便于存储空间的组织 C、便于目标代码的移植 D、便于编译程序的移植 4、在语法制导翻译中，不采用拉链-回填技术的语句是____ A.转向语句 B、赋值语句 C、条件语句 D、循环语句 5、能正确表示算术表达式a+b*c+d的后缀式是____ A、abc*+d+ B.abc*d++ C.ab+cd*+ D.bc*a+d+ 6、对_____表进行变动较为困难 A、三元式 B、间接三元式 C、四元式 D、三地址码 7、P202练习5.2.3.有产生式A→BCD，其中四个文法符号均有两个属性，s为综合属性，i为继承属性。 判断是否符合S属性定义；是否符合L属性定义；是否存在和这些规则一致的求值过程 1) A.s=B.i+C.s 2) A.s=B.i+C.s 和 D.i=A.i+B.s 3) A.s=B.s+D.s 4) A.s=D.i, B.i=A.s+C.s, C.i=B.s 和 D.i=B.i+C.i 8 5.3.1 E→ E + T | T T→ num.num | num 1)给出一个SDD来确定每个项T和表达式E的类型 解：重写文法为： E→ E1 + T | T T→ num1.num2 | num 引入属性type,type为int表示整型，为float表示实型，给出SDD： 产生式 语义规则 E→ E1 + T if(E1.type==int) (T.type==int) E.type = int; else E.type = float; E →T E.type = T.type T→ num1.num2 T.type = float T→ num T.type = int 9 5.4.4 为下面的产生式写出与例5.10类似的一个L属性SDD。 S→if ( C ) S1 else S2 解：语义规则为： L1 = new(); L2 = new(); C.true = L1; C.false = L2; S1.next= S2.next = S.n