期末考试编译原理试卷及答案.doc

1、得分一 填空题（每空2分，共20分）1. 不同的编译程序关于数据空间的存储分配策略可能不同，但大部分编译中采用的方案有两种：静态存储分配方案和动态存储分配方案，而后者又分为（1） 和 （2） 。2. 规范规约是最（3）规约。3. 编译程序的工作过程一般划分为5个阶段：词法分析、（4） 、语义分析与中间代码生成，代码优化及（5） 。另外还有（6）和出错处理。4表达式x+y*z/(a+b)的后缀式为 （7） 。5文法符号的属性有综合属性和 （8）。6假设二位数组按行存放，而且每个元素占用一个存储单元，则数组a1.15,1.20某个元素ai，j的地址计算公式为（9）。7局部优化是局限于一个（10）范

2、围内的一种优化。得分二 选择题（1-6为单选题，7-8为多选题，每问2分，共20分）1. 一个上下文无关文法G包括四个组成部分：一组终结符，一组非终结符，一个（ ），以及一组（ ）。A 字符串 B 产生式 C 开始符号 D 文法2.程序的基本块是指（ ）。A 一个子程序 B 一个仅有一个入口和一个出口的语句C 一个没有嵌套的程序段 D 一组顺序执行的程序段，仅有一个入口和一个出口3. 高级语言编译程序常用的语法分析方法中，递归下降分析法属于（ ）分析方法。A 自左向右 B 自顶向下 C 自底向上 D 自右向左4在通常的语法分析方法中，（ ）特别适用于表达式的分析。A 算符优先分析法 B LR分

3、析法C 递归下降分析法 D LL（1）分析法5经过编译所得到的目标程序是（ ）。A 四元式序列 B 间接三元式序列C 二元式序列 D 机器语言程序或汇编语言程序6 一个文法所描述的语言是（ ）；描述一个语言的文法是（ ）。A 唯一的 B 不唯一的 C 可能唯一，也可能不唯一7 如果在文法G中存在一个句子，当其满足下列条件（ ）之一时，则称该文法是二义文法。A 其最左推导和最右推导相同 B 该句子有两个不同的最左推导C 该句子有两个不同的最右推导 D 该句子有两棵不同的语法树E 该句子对应的语法树唯一8 下面（ ）语法制导翻译中，采用拉链回填技术。A. 赋值语句 B. 布尔表达式的计算 C. 条

4、件语句 D. 循环语句得分三 解答题（共60分）1 （共15分）已知文法GE: EETE|（E）|i T*|+（1） 将文法G改造成LL（1）文法；（5分）（2） 构造文法G中每个非终结符的FIRST集合及FOLLOW集合；（5分）（3） 构造LL（1）分析表。（5分）2 （共12分）给定文法GS：SS(S)|（1） 给出句子()()()()的规范推导过程；（4分）（2） 指出每步推导所得句型的句柄；（4分）（3） 画出该句子的语法推导树。（4分）3 （共8分）在一个移入-规约分析过程中采用以下的语法制导翻译模式，在按一个产生式规约时，立即执行括号中的动作。 AaB print “0”； Ac

5、 print “1”； BAb print “2”；（1） 当分析器的输入为aacbb时，打印的字符串是什么？（3分）（2） 写出分析过程。（5分）4 （10分）翻译循环语句 while (ad) then x:=y+z 。要求：给出加注释的分析树及四元式序列。参考以下部分翻译模式：(1) Sif E then M S1 backpatch(E.truelist,M.quad);S.nextlist:=merge(E.falselist,S1 .nextlist)(2) Swhile M1 E do M2 S1 backpatch(S1.nextlist,M1,.quad); backpatc

6、h(E.truelist,M2,.quad); S.nextlist:=E.falselist emit (j,-,-,M1 .quad)(3) SA S.nextlist:=makelist()(4) LS L.nextlist:=S.nextlist(5) M M.quad:=nextquad(6) Eid1 relop id2 E.truelist:=makelist(nextquad); e.falselist:=makelist(nextquad+1); emit(jrelop.op,id1.place ,id2.place,0); emit(j,-,-,0)(7) SL:=E em

7、it(:=,E.place,-,L.place)(8) EE1+E2 E.place:=newtemp; emit(+,E1.place,E2.place,E.place,)5 （共15分）设有表格构造文法GS： Sa|(T) TT,S|S(1) 计算文法GS的FIRSTVT集和LASTVT集。（5分）(2) 构造GS的优先关系表，并判断GS是否为算符优先文法。（5分）(3) 计算GS的优先函数。（5分）得分二 单项选择题（每题2分，共10分）1. 设有文法GI： II1|I0|Ia|Ic|a|b|c下列符号串中是该文法句子的有（ ）。 ab0 a0c01 aaa bc10可选项有：A B C

8、 D2.程序的基本块是指（ ）。A 一个子程序 B 一个仅有一个入口和一个出口的语句C 一个没有嵌套的程序段 D 一组顺序执行的程序段，仅有一个入口和一个出口3. 高级语言编译程序常用的语法分析方法中，递归下降分析法属于（ ）分析方法。A 自左向右 B 自顶向下 C 自底向上 D 自右向左4经过编译所得到的目标程序是（ ）。A 四元式序列 B 间接三元式序列C 二元式序列 D 机器语言程序或汇编语言程序5 运行阶段的存储组织与管理的目的是（ ）。 提高编译程序的运行速度 节省编译程序的存储空间 提高目标程序的运行速度 为运行阶段的存储分配做准备可选项有：A. B. C. D. 得分2. （10

9、分） 已知文法GS: SaBc|bABAaAb|bBb|（4） 构造其LL（1）分析表；（5） 判断符号串baabbb是否为该文法的句子（写出含有符号栈、输入串和规则的分析过程）。3. (10分) 已知文法G为：EE+T|TTT*P|PPi（1） 构造该文法的优先关系表（不考虑语句括号#），并指出此文法是否为算符优先文法。（2） 构造文法G的优先函数表。4 （8分）在一个移入-规约分析过程中采用以下的语法制导翻译模式，在按一个产生式规约时，立即执行括号中的动作。 SbAb print “1” A(B print “2” Aa print “3”BAa) print “4”（3） 当输入序列为b

10、(aa)a)a)b时，打印的字符串是什么？（4） 写出移入-规约分析过程。5 （12分）翻译循环语句 while (xy) do if (a=b) then x:=2*y+a 。要求：给出加注释的分析树、三地址码序列及相应的四元式序列。参考以下部分翻译模式：(1) Sif E then M S1 backpatch(E.truelist,M.quad);S.nextlist:=merge(E.falselist,S1 .nextlist)(2) Swhile M1 E do M2 S1 backpatch(S1.nextlist,M1,.quad); backpatch(E.truelist,

11、M2,.quad); S.nextlist:=E.falselist emit (j,-,-,M1 .quad)(3) SA S.nextlist:=makelist()(4) LS L.nextlist:=S.nextlist(5) M M.quad:=nextquad(6) Eid1 relop id2 E.truelist:=makelist(nextquad); e.falselist:=makelist(nextquad+1); emit(jrelop.op,id1.place ,id2.place,0); emit(j,-,-,0)(7) SL:=E emit(:=,E.place,-,L.place)(8) EE1+E2 E.place:=newtemp; emit(+,E1.place,E2.place,E.place,)6. (8分) Generate assembly code for the following sequence assuming that x,y and z are in memory locations(n