广工编译原理试卷A.doc

编译原理试卷选择1.一个正规语言只能对应(　　)？A 一个正规文法； B 一个最小有限状态自动机；2.文法G[A]：A→ε A→aB B→Ab B→a是(　　)： A 正规文法 B 二型文法3.下面说法正确的是(　　)： A 一个SLR（1）文法一定也是LALR（1）文法 B 一个LR（1）文法一定也是LALR（1）文法4.一个上下文无关文法消除了左递归，提取了左公共因子后是满足LL（1）文法的(　A　)： A 必要条件 B 充分必要条件问答题第1题(分)将文法G[S] 改写为等价的G′[S]，使G′[S]不含左递归和左公共因子。　　G[S]： S→bSAe | bA　　　　　 A→Ab | d 答文法G[S] 改写为等价的不含左递归和左公共因子的G[S]为：　　S→bB 　　B→SAe | A　　A→d A 　　A →bA | ε第题　　给出与正规式R＝（ab）*（a|b*）ba等价的NFA。答　　与正规式R＝（ab）*（a|b*）ba 等价的NFA如下图 第题将下图的NFA确定化为DFA。 答用子集法确定化如下表 用子集法对所给图的确定化 I Ia Ib 状态 {X,1,2}{1,2}..{1,2,3}{1,2,Y} {1,2}..{1,2}..{1,2,Y}{1,2}.. {1,2,3}{1,2,3}{1,2,3}{1,2,3} X123 确定化后如下图 第题给出文法G[S]的LR(1)项目集规范族中I0项目集的全体项目。 G[S]为： S →BD|D　　　　 B →aD|b　　　　 D →B 解:I0 第题(10分)文法G[M]及其LR分析表如下，请给出对串dbba#的分析过程。G[M]: 1) M →VbA 　　　2) V →d 　　　3) V →ε 　　 　4) A →a 　　　5) A →Aba 　　　6) A →ε name ACTION GOTO b a # M A V 0 r3 S3 ? ? 1 ? 2 1 ? ? ? acc ? ? ? 2 S4 ? ? ? ? ? ? 3 r2 ? ? ? ? ? ? 4 r6 ? S5 r6 ? 6 ? 5 r4 ? ? r4 ? ? ? 6 S7 ? ? r1 ? ? ? 7 ? ? S8 ? ? ? ? 8 r5 ? ? r5 ? ? ? 答：对串dbba#的分析过程如下表 对输入串dbba#的分析过程 步骤 状态栈 文法符号栈 剩余输入符号 动作 123456789 00302024024602467024678024601 ##d#V#Vb#VbA#VbAb#VbAba#VbA#M dbba#bba#bba#ba#ba#a#### 移进用V →d归约移进用A →ε归约移进移进用A →Aba 归约用M →VbA 归约接受 第题(0分)某语言的拓广文法G′为：(0) S′→T 　　　　　　　　　　　　　　 (1) T →aBd|ε　　　　　　　　　　　　　　 (2) B →Tb|ε 证明G不是LR(0)文法而是SLR(1)文法，请给出SLR(1)分析表。拓广文法G，增加产生式S→T 在项目集I0中：有移进项目T →·aBd和归约项目T →· 存在移进-归约冲突，所以G不是LR(0)文法。 若产生式排序为： (0) S→T(1) T →aBd(2) T →ε (3) B →Tb (4) B →εG的LR(0)项目集族及识别活前缀的DFA如下图所示： 识别G′活前缀的DFA 由产生式知：Follow(T)={#,b} Follow(B)= {d}在I0中： Follow(T) ∩{a}={# ，b} ∩{a}=在I2中：Follow(B) ∩{a}= {d} ∩{a}=Follow(T) ∩{a}={# ，b} ∩{a}=Follow(B) ∩ Follow(T) = {d}∩{# ，b}=所以在I0，I2，中的移进-归约和归约-归约冲突可以由Follow集解决，所以G是SLR(1)文法。 构造的SLR(1)分析表如下表。 SLR(1)分析表 name ACTION GOTO a b d # T B 0 S2 r2 ? r2 1 ? 1 ? ? ? acc ? ? 2 S2 r2 r4 r2 4 3 3 ? ? S5 ? ? ? 4 ? S6 ? ? ? ? 5 ? r1 ? r1 ? ? 6 ? ? r3 ? ? ? 第7题（10分）对产生C语言中的条件表达式的文法G[E]：E→E?E:E 写出相应的翻译文法。 答: