M (b) fe) {b, fe) predict (D-STe)npredict (D-)=a#,b predict(H→M)npredict(H-→e)={bin{e}-a 所以该文法是山1)文法，山(1)分析表如下表： a e →aD -→STe →bM -→bH →M 7.某语言的拓广文法G为： 0)s-s (I)S→DbB (2)D→de (3)B→Bae 证明G不是LR(O)文法而是SLR(I)文法，请给出SLR()分析表。 种 拓广文法G,增加产生式S”一S s'→·s 在项目集l6中： S→·Db 有移进项目D→d S.B 归约项目D→和B→ D→· 存在移进归约和归约归约冲突，所以G不是L(O)文法。 B→·ba B→· 若产生式排序为： (0)S-sM {b}..... {e}.... H {b ，ε} {e}.... 由于 predict（D→STe）∩predict（D→ε）={a}∩{# ，b}= predict（H→M）∩predict（H→ε）={ b }∩{ e }= 所以该文法是 LL(1)文法，LL(1)分析表如下表： a e b # S →aD. D →STe →ε →ε T →bM M →bH H →ε →M. 7． 某语言的拓广文法 G′为： (0) S′→S (1) S → Db|B (2) D → d|ε (3) B → Ba|ε 证明 G 不是 LR(0)文法而是 SLR(1)文法，请给出 SLR(1)分析表。 答： 拓广文法 G'，增加产生式 S'→S 在项目集 I0 中： 有移进项目 D →·d 归约项目 D →·和 B →· 存在移进-归约和归约-归约冲突，所以 G 不是 LR(0)文法。 若产生式排序为： (0) S'→S