LR分析方法(精品·公开课件).pptVIP

SLR(1)对于归约项目A? α.只要当前的输入符号为a?Follow(A)就进行归约的考虑前提是： 由a?Follow(A)就断定当前句型含有?Aa，而实际上，从逻辑上说， a?Follow(A)仅仅意味着某种含有Aa句型的存在，绝不意味着所有的句型都含有Aa句型。 步骤 (1)给出所有项目: E?.E+TE?E.+TE?E+.TE?E+T.E?.TE?T. F?.(E)F?(.E)F?(E.)F?(E).F?.iF?i. T?.T*FT?T.*FT?T*.FT?T*F.T?.FT?F. S’?.E S’?E. (2)构造项目集规范族。(求出所有项目集P111) (3)构造识别活前缀的DFA(P112) 移进——归约冲突 移进——归约冲突 移进——归约冲突 (4)构造SLR(1)分析表。 r5 r5 r5 r5 11 r3 r3 r3 r3 10 r1 r1 S7 r1 9 S11 S6 8 10 S4 S5 7 3 9 S4 S5 6 r6 r6 r6 r6 5 3 2 8 S4 S5 4 r4 r4 r4 r4 3 r2 r2 S7 r2 2 acc S6 1 3 2 1 S4 S5 0 F T E # ) ( * + i Goto Action 状态 DFA 分析过程 分析表 Follow(S’)={#} Follow(E)={+