编译原理第四章 习题与答案2

《编译原理第四章 习题与答案2》由会员上传分享，免费在线阅读，更多相关内容在行业资料-天天文库。

1、第五章习题5-1设有文法G[S]：S→A/A→aA∣AS∣/(1)找出部分符号序偶间的简单优先关系。(2)验证G[S]不是简单优先文法。5-2对于算符文法G[S]：S→EE→E-T∣TT→T*F∣FF→-P∣PP→(E)∣i(1)找出部分终结符号序偶间的算符优先关系。(2)验证G[S]不是算符优先文法。5-3设有文法G′[E]：E→E1E1→E1+T1

2、T1T1→TT→T*F

3、FF→(E)

4、i其相应的简单优先矩阵如题图5-3所示，试给出对符号串（i+i）进行简单优先分析的过程。题图5-3文法G′[E]

5、的简单优先矩阵5-4设有文法G[E]：E→E+T

6、TT→T*F

7、FF→(E)

8、i其相应的算符优先矩阵如题图5-4所示。试给出对符号串（i+i）进行算符优先分析的过程。(i*+)#(i*+)#题图5-4文法G[E]的算符优先矩阵5-5对于下列的文法，试分别构造识别其全部可归前缀的DFA和LR(0)分析表，并判断哪些是LR(0)文法。(1)S→aSb∣aSc∣ab(2)S→aSSb∣aSSS∣c(3)S→AA→Ab∣a5-6下列文法是否是SLR(1)文法？若是，构造相应的SLR(1)分析表，若不是，则阐明

9、其理由。(1)S→Sab∣bRR→S∣a(2)S→aSAB∣BAA→aA∣BB→b(3)S→aA∣bBA→cAd∣εB→cBdd∣ε5-7对如下的文法分别构造LR(0)及SLR(1)分析表，并比较两者的异同。S→cAd∣bA→ASc∣a5-8对于文法G[S]:S→AA→BA∣εB→aB∣b(1)构造LR(1)分析表；(2)给出用LR(1)分析表对输入符号串abab的分析过程。5-9对于如下的文法，构造LR(1)项目集族，并判断它们是否为LR(1)文法。(1)S→AA→AB∣εB→aB∣b(2)S→aS

10、a∣a第4章习题答案25-1解：(1)由文法的产生式和如答案图5-1(a)所示的句型A／／a／的语法树，可得G中的部分优先关系如答案图5-1(b)所示。(2)由答案图5-1(b)可知，在符号A和/之间，即存在等于关系，又存在低于关系，故文法G[S]不是简单优先文法。5-2解：(1)由文法G[S]的产生式可直接看出：（）此外，再考察句型－P－－(E)和i*(T*F)的语法树(见答案图5-2(a)及(b))。由答案图5-2(a)可得：－－,－－,－(由答案图5-2(b)可得：i*,*(,(*,*）(2)由

11、答案图5-2(a)可知，在终结符号－和－之间，存在两种算符优先关系：－－,－－故文法G[S]不是算符优先文法。5-3解：对符号串(i+i)进行简单优先分析的过程如答案表5-3所示。因为分析成功，所以符号串(i+i)是文法G′[E]的合法句子。答案表5-3符号串(i+i)的简单优先分析过程步骤分析栈关系当前符号余留输入串句柄所用产生式0#低于（i+i)#1#(低于i+i)#2#(i优于+i)#iF→i3#(F优于+i)#FT→F4#(T优于+i)#TT1→T5#(T1优于+i)#T1E1→T16#(E1

12、等于+i)#7#(E1+低于i)#8#(E1+i优于)#iF→i9#(E1+F优于)#FT→F10#(E1+T优于)#TT1→T11#(E1+T1优于)#E1+T1E1→E1+T112#(E1优于)#E1E→E113#(E等于)#14#(E)优于#(E)F→(E)15#F优于#FT→F16#T优于#TT1→T17#T1优于#T1E1→T118#E1优于#E1E→E119#E优于#分析成功5-4解：对符号串(i+i)进行算符优先分析的过程如答案表5-4所示。因为分析成功，所以符号串(i+i)是文法G[E

13、]的合法句子。句子(i+i)及其分析过程中所得句型的语法树如答案图5-4所示。答案表5-4符号串（i+i)的算符优先分析过程步骤分析栈当前栈顶终结符号优先关系当前输入符号余留输入串最左素短语0##（i+i)#1#(（i+i)#2#(ii+i)#i3#(F(+i)#4#(F++i)#5#(F+ii)#i6#(F+F+)#F+F7#(E()#8#(E))#(E)9#F##分析成功5-5解：(1)在文法G[S]中引入一个新的开始符号S′，且将S′→S作为第0个产生式添加到文法G中，从而得到G的拓广文法G′[

14、S′]：0.S′→S2.S→aSc1.S→aSb3.S→ab识别文法G[S]全部可归前缀的DFA如答案图5-5-(1)所示。因为文法G[S]的每个LR(0)项目集中都不含冲突项目，所以文法G[S]是LR(0)文法，故可构造出不含冲突动作的LR(0)分析表如答案表5-5-(1)所示。答案表5-5-(1)文法G[S]的LR(0)分析表状态ACTIONGOTOabc#S0123456s2s2r3r1r2s4s5r3r1r2s6r3r1r2accr3r1r213