LR(1)

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

H0= closure([S'->.E,#])=[S'->.E,#],
                        [E->.E+T,#],[E->.T,#],
                        [E->.E+T,+],[E->.T,+],
                        [T->.T*F,#],[T->.F,#],
                        [T->.T*F,+],[T->.F,+],
                        [T->.T*F,*],[T->.F,*],
                        [F->.i,#/+/*],[F->.(E),#/+/*]
H1= read(H0,E)=[S'->E.,#],[E->E.+T,#/+]
H2= read(H0,T)=[E->T.,#/+],[T->T.*F,#/+/*]
H3= read(H0,F)=[T->F.,#/+/*]
H4= read(H0,i)=[F->i.,#/+/*]
    read(H0,()= [F->(.E),#/+/*],
                [E->.E+T,)],[E->.T,)],
                [E->.E+T,+],[E->.T,+],
                [T->.T*F,)/+/*],[T->.F,)/+/*],
                [F->.i,)/+/*],[F->.(E),)/+/*],