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

《编译原理》试题A 1．名词解释 短语 LL（1）文法 语法分析 无环路有向图(DAG) 语法制导翻译 2． Pascal语言无符号数的正规定义如下： num ( digit+ (.digit+)? (E(+|-)? digit+)? 其中digit表示数字，用状态转换图表示接受无符号数的确定有限自动机。 3．下面两个文法中哪一个不是LR（1）文法？对非LR（1）的那个文法。给出那个有移进－归约冲突的规范的LR（1）项目集。 S ( aAc S ( aAc A ( bbA | b A ( bAb | b 4．构造下面文法的LL（1）分析表。 D ( TL T ( int | real L ( id R R ( , id R | ( 5． C语言是一种类型语言，但它不是强类型语言，因为编译时的类型检查不能保证所接受的程序没有运行时的类型错误。例如，编译时的类型检查一般不能保证运行时没有数组越界。请你再举一个这样的例子说明C语言不是强类型语言。 6．把表达式 -(a+b)*(c+d)+(a+b+c) 翻译成三元式。 7．为下面文法添加语义规则（或叫动作子程序），输出S(产生的二进制数的值，如输入是101时，输出5。 S( ( S S ( S B | B B ( 0 | 1 8．一个C语言的函数如下： func(c,l) char c;long l; { func(c,l); } 在X86/Linux机器上编译生成的汇编代码如下： .file parameter.c .version 01.01 gcc2_compiled.: .text .align 4 .globl func .type func,@function func: pushl %ebp —— 将老的基地址指针压栈 movl %esp,%ebp —— 将当前栈顶指针作为基地址指针 subl $4,%esp —— 分配空间 movl 8(%ebp),%eax movb %al,-1(%ebp) movl 12(%ebp),%eax pushl %eax movsbl -1(%ebp),%eax pushl %eax call func addl $8,%esp .L1: leave —— 和下一条指令一起完成恢复老的基地址指针，将栈顶 ret —— 指针恢复到调用前参数压栈后的位置，并返回调用者 .Lfe1: .size func,.Lfe1-func .ident GCC: (GNU) egcs-2.91.66Linux (egcs-1.1.2 release) (a) 请指出对应源程序第5行的函数调用func(c,l)的汇编指令是哪几条。 (b) 请说明字符型参数和长整型参数在参数传递和存储分配方面有什么区别。（小于长整型size的整型参数的处理方式和字符型参数的处理方式是一样的。） 9．程序的文法如下： P ( D D ( D ; D | id : T | proc id ; D ; S （1）写一个语法制导定义，打印该程序一共声明了多少个id。 （2）写一个翻译方案，打印该程序每个变量id的嵌套深度。 《编译原理》试题B 1．名词解释 句柄 LR（1）文法 无环路有向图(DAG) 语法制导翻译 局部优化 2．某操作系统下合法的文件名为 device:name.extension 其中第一部分（device:）和第三部分（.extension）可缺省，device, name和extension都是字母串，长度不限，但至少为1，画出识别这种文件名的确定有限自动机。 3．下面两个文法中哪一个不是LR（1）文法？对非LR（1）的那个文法。给出那个有移进－归约冲突的规范的LR（1）项目集。 S ( aAc S ( aAc A ( bbA | b A ( bAb | b 4．程序的文法如下： P ( D D ( D ; D | id : T | proc id ; D ; S （1）写一个语法制导定义，打印该程序一共声明了多少个id。 （2）写一个翻译方案，打印该程序每个变量id的嵌套深度。 5．在PASCAL语言中，简单类型的变量的声明例举如下： m, n : integer p, q, r : real 为这样的声明写一个LR（1）文法（为简单起见，变量标识符都用id表示），并根据你的文法写一个语法制导定义（或叫做为你的文法加上语义动作），它将变量的类型填入符号表。 6．下面程序在S