LR(1)

LR(0)

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

LR(0) kanonikus halmaz
H0= closure([S'->.S])={[S'->.S],
                       [S->.T], [S->.S+T],
                       [T->.F], [T->.T*F],
                       [F->.i], [F->.(S)]}
H1= read(H0, S)=[S'->S.], [S->S.+T]
H2= read(H0, T)=[S->T.], [T->T.*F]
H3= read(H0, F)=[T->F.]
H4= read(H0, i)=[F->i.]
H5= read(H0, ()=[F->(.S)]
                [S->.T], [S->.S+T],
                [T->.F], [T->.T*F],
                [F->.i], [F->.(S)]
    read(H1