2007级编译原理试卷(A答案).doc

学号 姓名 题 号 一 二 三 四 五 六 七 八 总分 阅卷 教师 得 分 ……………………………………………………………………………………………………………… 得 分 一、填空题（每小题2 分，共12分） 1、一般高级语言的翻译程序有（ 编译程序 ）和（ 解释程序 ）两种。 2、有穷自动机接受的语言是令Σ＝ a,b ，则Σ上所有以b为首的字构成的正规集的正规式为A.s是（ 综合 ）属性，B.x是 继承 属性。 A-- BCD A.s B.x+C.y;D.z B.i; 5、活前缀是指 的一个前缀，这种前缀不含 之后的任何符号。局部优化是在范围内进行的一种优化 S S S| ，请判断G[S]是否是二义文法，说明理由 答：是二义文法 理由：选择一个句子，例如（）（），存在有不同的语法树或者不同的最右推导 4、请给出布尔表达式 or b and e f利用规则： E id1 rop id2 E.TC NXQ; E.FC NXQ + 1; Gen jrop,Entry id1 , Entry id2 , 0 ; Gen j, _, _, 0 进行翻译后的四元式序列？并以此什么是链接与回填？ 构造文法，产生语言集合 uawb | u,w ∈ a, b * 且| u | | w | ，并说明你所设计的文法是属于乔姆斯基形式文法中的哪一类文法？（分） Ab A a | a Aa | aAb | bAa | bAb 属于CFG，即上下文无关文法 得 分 四、有语言 L w|w ∈ 0,1，并且 w 中至少有两个1 ，又在任何两个1之间有偶数个 0 ，试构造接受该语言的确定有限状态自动机 得 分 五、请给文法G[S]的表，要求计算出各非终极符的F集合。 S → S*aA | aA| *aA A→ +aA | +a 答：改写文法如下： S *aAS’ | aAS’ S’ *AS’ | A +aA’ A’ A | FIRST FOLLOW S *，a # S’ *, # A + *,# A’ +, *,# 预测分析表 *aAS’ aAS S’ *AS’ A +aA’ A’ A 得 分 六、请构造出文法G[S]识别文法活前缀的有限自动机，请确定是否是SLR（1）文法，如果是，则构造出其LR分析表。（12分） A→aAd |aAb |ε 答：拓广文法（1）S A （2）A aAd （3）A aA （4）A ε 在I0和I2，I3中存在有移进 归约冲突 但是FOLLOW（A） d,b,# a d,b,# ,所以文法是SLR（1）文法 a b d # A I0 S2 r4 r4 r4 1 I1 acc I2 S2 r4 r4 r4 3 I3 S5 S4 I4 r2 r2 r2 I5 r3 r3 r3 得 分 七、为文法 S L | a L L , S | S 写一个属性翻译文法，它输出a的个数。 S’ S printf S.a S L S.a L.a S a S.a 1 L L , S L.a L1.a+S.a L S L.a S.a 得 分 八、考虑下面的三地址语句序列，完成下列任务。 （1）在该代码中用水平的横线将代码分成基本块，并给每个基本块一个序号。（2分） （2）画出该代码的控制流图，每个基本块就用（1）的序号表示。（3分） （3）若有循环的话，列出构成每个循环的结点,并指出循环的入口结点。（6分） 解：（1） （2） b : 1 b : 2 if w x goto L3 （1） L1: e : b goto L3 （2） L2: c : 3 b : 4 c : 6 （3） L3: if y z goto L4 （4） goto L5 （5） L4: g : g + 1 h : 8 goto L1 （6） L5: h : 9 （7） goto L2 （3）回边3 4，结点5、7、3和4构成一个循环，其中4是入口结点。 说明： 本试卷将作为样卷直接制版胶印，请命题教师在试题之间留足答题空间。 （第 1 页 共 4 页） １ ２ ３ ４ ５ １ ０ １ ０ ０ ０ ０１ １ S .A I0 A .aAd A .aAb A . S A. I1 A A a.Ad I2 A a.Ab A .aAd A .aAb A . a A aA.d I3 A aA.b A A aAd. I4 a d A