编译原理期末试题（8套含答案+大题集）(6)

3、下面是表达式和赋值语句的文法，其中and的类型是bool ? bool ? bool，+的类型是int ? int ? int，=的类型是int ? int ? bool，:= 要求id 和E的类型都是int或者都是bool。为该文法写一个语法制导定义或翻译方案，它完成类型检查。

S ? id := E

E ? E and E | E + E | E = E |id

4、对于下面C语言文件s.c f1(int x) { long x; x = 1; } f2(int x) { { long x; x = 1; } }

某编译器编译时报错如下： s.c: In function ?f1?: s.c:3: warning: declaration of ?x? shadows a parameter 请回答，对函数f2为什么没有类似的警告错误。

5、下面C语言程序经非优化编译后，若运行时输入2，则结果是 area=12.566360, addr=-1073743076 经优化编译后，若运行时输入2，则结果是 area=12.566360, addr=-1073743068 请解释为什么输出结果有区别。

main() {

float s, pi, r; pi=3.14159; scanf(\ printf(\ addr=%d\\n\

}

6、描述由正规式b?a(bb?a) ?b?定义的语言，并画出接受该语言的最简DFA。 7、下面的文法产生代表正二进制数的0和1的串集：

B ? B 0 | B 1 | 1

下面的翻译方案计算这种正二进制数的十进制值：

第16页共6页

B ? B1 0 {B.val := B1.val ? 2 } | B1 1 {B.val := B1.val ? 2 +1} | 1 {B.val := 1 } 请消除该基础文法的左递归，再重写一个翻译方案，它仍然计算这种正二进制数的十进制值。

8、 在C语言中，如果变量i和j都是long类型，请写出表达式&i和表达式&i?&j的类型表达式。为帮助你回答问题，下面给出一个程序作为提示，它运行时输出1。 main() { long i, j; printf(“%d\\n”, &i?&j); }

9、一个C语言的函数如下： func(i) long i; { long j; j = i – 1; func(j); }

下面左右两边的汇编代码是两个不同版本GCC编译器为该函数产生的代码。左边的代码在调用func之前将参数压栈，调用结束后将参数退栈。右边代码对参数传递的处理方式没有实质区别。请叙述右边代码对参数传递的处理方式并推测它带来的优点。 func: | func: pushl ?p | pushl ?p movl %esp, ?p | movl %esp, ?p subl $4, %esp | subl $8, %esp movl 8(?p), íx | movl 8(?p), êx decl íx | decl êx movl íx, -4(?p) | movl êx, -4(?p) movl -4(?p), êx | movl -4(?p), êx pushl êx | movl êx, (%esp) call func | call func addl $4, %esp | leave leave | ret ret |

编译原理试卷八答案

1、由正规式b*(abb*)*(a| ?)定义的语言是字母表{a, b}上不含子串aa的所有串的集合。最简DFA如下：

b start 1 b a 2 2、先给出接受该文法活前缀的DFA如下：

第17页共6页

E? ?·E E ?·E + id E ?·id I0 id E ? id· I2 E E? ? E· E ? E·+ id I1 + E ? E +·id I3 id E ? E + id· I4

I0和I3都只有移进项目，肯定不会引起冲突；I2和I4都无移进项目并仅含一个归约项目，也肯定不会引起冲突；在I1中，E?的后继符号只有$，同第2个项目的展望符号“+”不一样，因此I1也肯定不会引起冲突。由此可以断定该文法是SLR(1)的。

3、语法制导定义如下。

S ? id := E { S.type := if (id.type = bool and E.type = bool) or (id.type = int and E.type = int)then type_ok else type_error } E ? E1 and E2

type_error }

{ E.type := if E1.type = bool and E2.type = bool then bool else

E ? E1 + E2 { E.type := if E1.type = int and E2.type = int then int else type_error } E ? E1 = E2 { E.type := if E1.type = int and E2.type = int then bool else type_error } E ? id { E.type := lookup(id.entry) }

4、对于函数f1，局部变量x声明的作用域是整个函数体，导致在函数体中不可能访问形式参数x。由于这是一个合法的C语言函数，因此编译器给出警告错误。

对于函数f2，由于局部变量x的作用域只是函数体的一部分，不会出现上述问题，因而编译器不报错。

5、使用非优化编译时，变量s, pi, r在局部数据区都分配4个字节的空间。使用优化编译时，由于复写传播，pi*r*r 变成3.14159*r*r，pi=3.14159成为无用赋值而删去，函数中不再有pi的引用，因此不必为pi分配空间。类似地，s=3.14159*r*r也是一个无用赋值（表达式要计算，但赋值是无用的），也不必为s分配空间。这样，和非优化情况相比，局部数据区少了8个字节， 因此r的地址向高地址方向移动了8个字节。

6、正规式b?a(bb?a) ?b?体现的特点是，每个a的左边都有若干b，除非a是第一个字母。该正规式定义的语言是：至少含一个a，但不含子串aa的所有a和b的串集。最简DFA如下：

b start 0 a b b

a 2 1

7、 消除左递归后的文法： B ? 1 B? B? ? 0 B? | 1 B? | ? 相应的翻译方案如下：

第18页共6页

B ? 1 {B?.i := 1 }B?{B.val := B?.val} B? ? 0 {B?1.i := B?.i ? 2 } B?1 {B?.val := B?1.val} | 1 {B?1.i := B?.i ? 2 +1} B?1 {B?.val := B?1.val} | ? {B?.val := B?.i}

8、表达式&i的类型表达式是pointer(long)，表达式&i?&j的类型表达式是long。按照C语言的规定，指向同一个类型的两个指针可以相加减，它们值的差是它们之间的元素个数。 9、左边的编译器版本：一般只为局部变量分配空间。调用函数前，用若干次pushl指令将参数压栈，返回后用addl $n, %esp一次将所有参数退栈（常数n根据调用前做了多少次pushl来决定）。 右边的编译器版本：除了为局部变量分配空间外，同时还为本函数中出现的函数调用的参数分配空间，并且参数所用空间靠近栈顶。调用函数前，用movl指令将参数移入栈顶，调用结束后无需参数退栈指令。 优点是每次函数调用结束后不需要执行addl $n, %esp指令，另外增加优化的可能性。

第19页共6页

《编译原理》期末试题（三）

1、 从优化的范围的角度，优化可以分哪两类？对循环的优化可以有哪三种？ 答：从优化的范围的角度，优化可以分为局部优化和全局优化两类； 对循环的优化有三种：循环不变表达式外提、归纳变量删除与计算强度削减。 2、写出表达式a=b*c+b*d对应的逆波兰式、四元式序列和三元式序列。 答：逆波兰式： abc*bd*+:= 四元式序列：

三元式序列: OP ARG1 ARG2

(1) (* b， c ) (2) (* b， d ) (3) (+ (1)， (2)) (4) (:= (3)， a)

(1) (*， b， c， t1) (2) (*， b， d， t2) (3) (+， t1， t2，t3) (4) (:=， t3， /， a)

3、对于文法G(S):

S ?bMbM ?(L|aL ?Ma）

答：1） S?bMb?b(Lb?b(Ma)b 2） 短语: Ma)， (Ma)， b(Ma)b 直接短语: Ma) 句柄: Ma)

b ( S M b T L M a ) 三、 设有字母表{a，b}上的正规式R=(ab|a)*。

解：（1）

2 - 0 ε a 1 a …… 此处隐藏：1952字，全部文档内容请下载后查看。喜欢就下载吧 ……