04-编译原理课程测试第四套卷(附解析)-编译原理试题-中国科技大学.docVIP

编译原理课程测试第四套卷（附解析） 1、(b) 画出一个最简的确定有限自动机，它接受所有大于101的二进制整数。 2、（10分）构造下面文法的LL(1)分析表。 S ( a B S | b A S | ( A ( b A A | a B ( a B B | b 3、（10分）下面的文法是二义文法 S ( E E ( while E do E | id := E | E + E | id | (E) 请你为该语言重写一个规范的LR(1)文法，它为该语言中的各种运算体现通常的优先级和结合规则。不需要证明你的文法是规范LR(1)的。 4、（10分）为下面文法写一个语法制导的定义，它完成一个句子的while-do最大嵌套层次的计算并输出这个计算结果。 S ( E E ( while E do E | id := E | E + E | id | (E) 5、（15分）考虑一个类似Pascal的语言，其中所有的变量都是整型（不需要显式声明），并且仅包含赋值语句、读语句、写语句、条件语句和循环语句。下面的产生式定义了该语言的语法（其中lit表示整型常量；OP的产生式没有给出，因为它和下面讨论的问题无关）。 定义Stmt的两个属性：Def表示在Stmt中一定会定值且在该定值前没有引用的变量集合，MayUse表示在Stmt中有引用且在该引用前可能没有定值的变量集合。 (a) 写一个语法制导定义或翻译方案，它计算Stmt的Def和MayUse属性。 (b) 基于上面的计算，程序可能未赋初值的变量集合从哪儿可以得到？ 可能未赋初值的变量是这样定义的：若存在从程序开始点到达变量a某引用点的一条路径，在这条路径上没有对变量a赋值，则变量a属于程序可能未赋初值的变量集合。 Program ( Stmt Stmt ( id := Exp Stmt ( read (id ) Stmt ( write ( Exp ) Stmt ( Stmt ; Stmt Stmt ( if ( Exp ) then begin Stmt end else begin Stmt end Stmt ( while ( Exp ) do begin Stmt end Exp ( id Exp ( lit Exp ( Exp OP Exp 6、（15分）赋值语句A[x, y]:= z（其中A是10 ( 5的数组）的注释分析树如下图。请根据教材上7.3.4节的翻译方案，把图中的属性值都补上（像图7.9那样），并且把每步归约产生的中间代码写在相应产生式的旁边。 7、（15分）通常，函数调用的返回值是简单类型时，用寄存器传递函数值。当返回值是结构类型时需要采用别的方式。下面是一个C语言文件和它在x86/Linux上经某版本GCC编译器编译生成的汇编代码。（备注，该汇编码略经修改，以便于阅读。该修改没有影响结果。） (a) 请你分析这些代码，总结出函数返回值是结构类型时，返回值的传递方式。 (b) 若m函数的语句s = f(10)改成s.i = f(10).i + f(20).i + f(30).i，你认为m函数的局部存储分配应该怎样修改，以适用该语句的计算。 源文件return.c的内容如下： typedef struct{long i;}S; S f(k) long k; { S s; s.i =k; return s; } m() { S s; s.i = 20; s = f(10); } 汇编文件return.s的内容如下： .file return.c .text .globl f .type f, @function f: pushl %ebp movl %esp, %ebp subl $4, %esp movl 8(%ebp), %eax movl 12(%ebp), %edx movl %edx, -4(%ebp) movl -4(%ebp), %edx movl %edx, (%eax) leave ret .size f, .-f .globl m .type m, @function m: pushl %ebp movl %esp, %ebp subl $4, %esp movl $20, -4(%ebp) leal -4(%ebp), %eax pushl $10 pushl %eax call f addl $8, %esp