LR(1)
-----

    LR(1)-elem

        A->bDas

        [A->bD.as, a]
        [A->bD.as, #]

            előreolvasási szimbólum

S -> S+T | T
T -> T*F | F
F -> nSc | i

H0= closure([S'->.S,#]) =
        [S'->.S,#]
        [S->.S+T,+/#], [S->.T,+/#], 
        [T->.T*F,+/*/#], [T->.F,+/*/#]
        [F->.nSc,+/*/#], [F->.i,+/*/#]

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,n) = [F->n.Sc,+/*/#],
                 [S->.S+T,c/+], [S->.T,c/+]
                 [T->.T*F,c/+/*], [T->.F,c/+/*]
                 [F->.nSc,c/+/*], [F->.i,c/+/*]
H5= read(H0,i) = [F->i.,+/*/#]
H6= read(H1,+) = [S->S+.T,+/#],
                 [T->.T*F,+/*/#], [T->.F,+/*/#]
                 [F->.nSc,+/*/#], [F->.i,+/*/#]
H7= read(H2,*) = [T->T*.F,+/*/#]
                 [F->.nSc,+/*/#], [F->.i,+/*/#]
H8= read(H4,S) = [F->nS.c,+/*/#], [S->S.+T,c/+]
H9= read(H4,T) = [S->T.,c/+], [T->T.*F,c/+/*]
H10=read(H4,F) = [T->F.,c/+/*]
H11=read(H4,n) = [F->n.Sc,c/+/*], 
                 [S->.S+T,c/+], [S->.T,c/+]
                 [T->.T*F,c/+/*], [T->.F,c/+/*]
                 [F->.nSc,c/+/*], [F->.i,c/+/*]
H12=read(H4,i) = [F->i.,c/+/*]