编译原理试题(2009-2010-1)

《编译原理试题(2009-2010-1)》由会员上传分享，免费在线阅读，更多相关内容在行业资料-天天文库。

1、《编译原理》试题A1．名词解释短语LL（1）文法语法分析无环路有向图(DAG)语法制导翻译2．Pascal语言无符号数的正规定义如下：num®digit+(.digit+)?(E(+-)?digit+)?其中digit表示数字，用状态转换图表示接受无符号数的确定有限自动机。3．下面两个文法中哪一个不是LR（1）文法？对非LR（1）的那个文法。给出那个有移进－归约冲突的规范的LR（1）项目集。S®aAcS®aAcA®bbAbA®bAbb4．构造下面文法的LL（1）分析表。D®TLT®intrealL®idRR®,idRe5．C语言是一种类型语言

2、，但它不是强类型语言，因为编译时的类型检查不能保证所接受的程序没有运行时的类型错误。例如，编译时的类型检查一般不能保证运行时没有数组越界。请你再举一个这样的例子说明C语言不是强类型语言。6．把表达式-(a+b)(c+d)+(a+b+c)翻译成三元式。7．为下面文法添加语义规则（或叫动作子程序），输出S¢产生的二进制数的值，如输入是101时，输出5。S¢®SS®SBBB®018．一个C语言的函数如下：func(c,l)charc;longl;{func(c,l);}在X86/Linux机器上编译生成的汇编代码如下：.file"parameter

3、.c".version"01.01"gcc2_compiled.:.text.align4.globlfunc.typefunc,@functionfunc:pushl%ebp——将老的基地址指针压栈movl%esp,%ebp——将当前栈顶指针作为基地址指针subl$4,%esp——分配空间movl8(%ebp),%eaxmovb%al,-1(%ebp)movl12(%ebp),%eaxpushl%eaxmovsbl-1(%ebp),%eaxpushl%eaxcallfuncaddl$8,%esp.L1:leave——和下一条指令一起完成恢复

4、老的基地址指针，将栈顶ret——指针恢复到调用前参数压栈后的位置，并返回调用者.Lfe1:.sizefunc,.Lfe1-func.ident"GCC:(GNU)egcs-2.91.6619990314/Linux(egcs-1.1.2release)"(a)请指出对应源程序第5行的函数调用func(c,l)的汇编指令是哪几条。(b)请说明字符型参数和长整型参数在参数传递和存储分配方面有什么区别。（小于长整型size的整型参数的处理方式和字符型参数的处理方式是一样的。）9．程序的文法如下：P®DD®D;Did:Tprocid;D;S（1）写一

5、个语法制导定义，打印该程序一共声明了多少个id。（2）写一个翻译方案，打印该程序每个变量id的嵌套深度。《编译原理》试题B1．名词解释句柄LR（1）文法无环路有向图(DAG)语法制导翻译局部优化2．某操作系统下合法的文件名为device:name.extension其中第一部分（device:）和第三部分（.extension）可缺省，device,name和extension都是字母串，长度不限，但至少为1，画出识别这种文件名的确定有限自动机。3．下面两个文法中哪一个不是LR（1）文法？对非LR（1）的那个文法。给出那个有移进－归约冲突的规

6、范的LR（1）项目集。S®aAcS®aAcA®bbAbA®bAbb4．程序的文法如下：P®DD®D;Did:Tprocid;D;S（1）写一个语法制导定义，打印该程序一共声明了多少个id。（2）写一个翻译方案，打印该程序每个变量id的嵌套深度。5．在PASCAL语言中，简单类型的变量的声明例举如下：m,n:integerp,q,r:real为这样的声明写一个LR（1）文法（为简单起见，变量标识符都用id表示），并根据你的文法写一个语法制导定义（或叫做为你的文法加上语义动作），它将变量的类型填入符号表。6．下面程序在SUN工作站上运行时陷入死循

7、环，试说明原因。如果将第8行的longp改成shortp，并且将第23行longk改成shortk后，loop中的循环体执行一次便停止了。试说明原因。main(){addr();loop();}longp;loop(){longi,j;j=0;for(i=0;i<10;i++){(p)--;j++;}}addr(){longk;k=0;p=&k;}7．一个C语言函数如下：main(){inti,j,k;i=5;j=1;while(j<100){k=i+1;j=j+k;}}经优化编译后，生成的代码如下：.file“optimize.c”gcc2

8、_compiled.:___gnu_compiled_c:.text.align2.globl_func.type_func,@function_func:push