《编译基本原理实践与应用》第4章LR分析方式.pptVIP

* * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * 该文法的LR(1)项目集规范族 例：文法 （0）S→S （1）S→BB （2）B→bB （3）B→a LR(1)分析表为： 状 态 action goto b a # S B 0 S3 S4 1 2 1 acc 2 S6 S7 5 3 S3 S4 8 4 r3 r3 5 r1 6 S6 S7 9 7 r3 8 r2 r2 9 r2 I3和I6，I4和I7，I8和I9分别为同心集，将同心集合并后为： I36：B→a·B,a/b/# B→·aB,a/b/# B→·b,a/b/# I47：B→b·，a/b/# I89：B→aB·，a/b/# 同心集合并后仍不包含冲突，因此该文法是LALR文法。 得到LALR分析表： 状态 action goto b a # S B 0 S3,6 S4,7 1 2 1 acc 2 S3,6 S4,7 5 3,6 S3,6 S4,7 8,9 4,7 r3 r3 r3 5 r1 8,9 r2 r2 r2 * * * * * * * * * * * * * * * * * * * * * * * * * * * * * 例：设文法G为： E ?aA｜ bB A ?cA｜d B ?cB｜d 求该文法的LR(0)分析表。 (0) S ?E (1) E ?aA (2) E ?bB (3) A ?cA (4) A ?d (5) B ?cB (6) B ?d 第１步：拓广文法，并对产生式给予序号： 第２步：写出拓广后的文法的项目集： 1. S ? · E 2. S ?E · 3. E ? · aA 　 4. E ?a · A 5. E ?aA · 　 6. E ? · bB 7. E ?b · B 8. E ?bB · 9. A ? · cA 10. A ?c · A 11. A ?cA · 　 12. A ? · d 13. A ?d · 14. B ? · cB 15. B ?c · B 16. B ?cB · 17. B ? · d　　18. B ?d · 第3步：从S?·E开始求项目集规范族 由 S0 = {S ? · E}　知： Closure(S0) = { S ? ·E, E? ·aA, E? ·bB } 由此初值C＝{Closure(S0)}再根据GO函数计算后继状态 由此表明显看出： Go(状态，后继符号)＝后继状态 当不出现新的状态时，得到LR(0)项目集规范族 LR(0)项目集规范族也可以用表格的形式表示 状态 项目集 后继符号 后继状态 S0 { S ? ·E E? ·aA E? ·bB } E a b S1 S2 S3 S1 { S ?E · } # 接受态 S2 { E?a ·A A ? · cA A? · d } A c d S6 S4 S10 S3 { E?b·B B? · cB B? · d } B c d S7 S5 S11 S4 { A ?c · A A? · cA A? · d } A c d S8 S4 S10 S5 { B?c · B B? · cB B? · d} B c d S9 S5 S11 S6 { E?aA · } # 归约 S7 { E?bB · } # 归约 S8 { A ?cA · } # 归约 S9 { B?cB · } # 归约 S10 { A?d · } # 归约 S11 { B?d · } # 归约 算法描述： PROCEDURE itemsets(G); { C := { CLOSURE( {S ?·S} ) }; do { for C中的每个项目集I和每个文法符号X do if GO(I,X)非空且不属于C 把GO(I,X) 加入C中; 在I和GO(I，X)之间画标记为X的弧; }while( C 的元素再增加) } 有效项目：项目A??1.?2对活前缀?=??1是有效的条件是：存在规范推导S ? ?Aw???1?2w 根据定义可知，若归约项目A??1 · 对活前缀??1是有效的，则应把符号串?1归约为A，即把活前缀??1 变为?A· 若移进项目A??1 · ?2对活前缀??1是有效的，则知，句柄尚为形成，下一步动作应是移进 一个活前缀?的有效项目集就是从构造的D