第7章作业参考-答案~.docVIP

| 第７章 LR 分析 1．已知文法A→aAd|aAb|ε 判断该文法是否是SLR(1)文法，若是构造相应分析表，并对输入串ab#给出分析过程。 答案：文法：A→aAd|aAb|ε 拓广文法为G′，增加产生式S′→A 若产生式排序为： 0 S →A 1 A →aAd 2 A →aAb 3 A →ε 由产生式知： First (S ) = {ε,a} First (A ) = {ε,a} Follow(A ) = {d,b,#} G′的LR(0)项目集规范族及识别活前缀的DFA 如下图所示： 在I0 中：A →.aAd 和A →.aAb 为移进项目，A →.为归约项目，存在移进-归约冲突，因此所给文法不是LR(0)文法。 在I0、I2 中：Follow(A) ∩{a}= {d，b，#} ∩{a}=φ 所以在I0、I2 中的移进-归约冲突可以由Follow 集解决，所以G 是SLR(1)文法。 构造的SLR(1)分析表如下：题目1 的SLR(1)分析表 对输入串ab#的分析过程 10.判断下列各题所示文法是否为ＬＲ类方法，若是请说明是LR(0),SLR(1),LALR(1)或LR(1)的哪一种，并构造相应的分析表，若不是请说明理由． （３）S-aAd|eBd|aBr|eAr A-a B-a 答案： １）列出扩展文法Ｇ＇的产生式列表： (0)S＇-S (1)S-aAd (2)S-eBd (3)S-aBr (4)S-eAr (5)A-a (6)B-a 2） Ｇ＇的LR(0)项目集族及识别活前缀的DFA 如下图所示： B B I0: S＇-.S S-.aAd S-.eBd S-.aBr S-.eAr I1: S＇-S. I2: S-a.Ad S-a.Br A-.a B-.a I3: S-e.Bd S-e.Ar B-.a A-.a S a e I4: S-aA.d I5: S-aB.r I6: A-a. B-a. A B a I7: S-eB.d I8: S-eA.r A a I9: S-aAd. d I10: S-aBrd. r I11: S-eBd. d I12: S-eAr. r 从上图中看出项目集I6中存在归约-归约冲突，所以该文法不是LR(0)文法。 下面判断是否为SLR(1)文法： Follow(S)={#} Follow(A)={d,r} Follow(B)={d,r} 对于I6，Follow(A) ∩Follow(B)= {d,r}不为φ，所以项目集I6中的归约-归约冲突不能消除，该文法不是SLR(1)文法。 下面判断是否为LR(1)文法，在上面的项目集规范族中加入搜索符：B B I0: S＇-.S,# S-.aAd,# S-.eBd,# S-.aBr,# S-.eAr,# I1: S＇-S.,# I2: S-a.Ad,# S-a.Br,# A-.a,d B-.a,r I3: S-e.Bd,# S-e.Ar,# B-.a,d A-.a,r S a e I4: S-aA.d,# I5: S-aB.r,# I6: A-a.,d B-a.,r A B a I7: S-eB.d,# I8: S-eA.r,# A a I9: S-aAd.,# d I10: S-aBr.,# r I11: S-eBd.,# d I12: S-eAr. ,# r I13: B-a.,d A-a.,r 从上图可以看出原来存的的归约-归约冲突已经消除，所以该文法为LR(1)文法。 但若合并同心项目集I6和I13，则归约-归约冲突又会重现，因此该文法不是LALR(1)文法。 3)LR(1)分析表 　 Action Goto State a e d r # S A B 0 S2 S3 1 1 acc 　 2 S6 4 5 3 S13 8 7 4 S9 　 5 S10 　 6 R5 R6 　 7 S11 　 8 S12 　 9 R1 　 10 R3 　 11 R2 　 12 R4 　 13 R6 R5 　 11.设文法G[S]为： S-AS|ε A-aA|b 证明G[S]是LR[1]文法; 扩展文法G’为： S’-S S-AS