SLR(1)

S' -> E

E -> E + T | T
T -> T * F | F
F -> ( E ) | i

        FIRST               FOLLOW
S'      E       (i          #                   #       #
E       T       (i          +, ), FOLLOW(S')    +)  S'  +)#
T       F       (i          FOLLOW(E), *        *   E   *+)#
F       (i      (i          FOLLOW(T)               T   *+)#


    action                  goto
                    E   T   F   +   *   (   )   i
0   lépés           1   2
1   lépés/accept
2   lépés/red(E->T)
3   red(T->F)



    +   *   (   )   i   #   S'  E   T   F
0           s4      s5          1   2   3
1   s6
2   r2          r2      r2
3   r4  r4      r4      r4


H0= closure([E'->.E])=[E'->.E],[E->.E+T],[E->.T],
                        [T->.T*F],[T->.F],
                        [F->.(E)],[F->.i]
H1= read(H0,E)=[E'->E.],[E->E.+T]
H2= read(H0,T)=[E->T.],[T->T.*F]
H3= read(H0,F)=[T->F.]
H4= read(H0,()=[F->(.E)],[E->.E+T],[E->.T],
                [T->.T*F],[T->.F],
                [F->.(E)],[F->.i]
H5= read(H0,i)=[F->i.]
H6= read(H1,+)=[E->E+.T],[T->.T*F],[T->.F],
                [F->.(E)],[F->.i]
H7= read(H2,*)=[T->T*.F],[F->.(E)],[F->.i]
H8= read(H4,E)=[F->(E.)],[E->E.+T]
H2= read(H4,T)=[E->T.],[T->T.*F]
H3= read(H4,F)=[T->F.]
H4= read(H4,()=[F->(.E)],[E->.E+T],[E->.T],
                [T->.T*F],[T->.F],
                [F->.(E)],[F->.i]
H5= read(H4,i)=[F->i.]
H9= read(H6,T)=[E->E+T.],[T->T.*F]
H3= read(H6,F)=[T->F.]
H4= read(H6,()
H5= read(H6,i)
H10=read(H7,F)=[T->T*F.]
H4= read(H7,()
H5= read(H7,i)
H11=read(H8,))=[F->(E).]
H6= read(H8,+)=[E->E+.T],[T->.T*F],[T->.F],
                [F->.(E)],[F->.i]
H7= read(H9,*)


----------------------------------------

(#0, bcabbccc#) ->
(#0 b4, cabbccc#) ->
(#0 b4 c3, abbccc#) ->
(#0 b4 c3 a5, bbccc#) ->
(#0 b4 c3 a5 b11, bccc#) -> (A->ab)
(#0 b4 c3 A2, bccc#)