第7章作业参考答案.pdfVIP

第７章 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 如下图所示： I0: I1: I4: I9: S＇-.S I2: I5: I10: I6: S- I3: I7: I11: S- I8: I12: 从上图中看出项目集 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) 文法，在上面的项目集规范族中加入搜索符： I0: I1: I4: I9: S＇-.S,# I2: I5: I10: I6: S-,# I3: I11: I7: S-,# I8: