LR(1)
-----

    S' -> S



                         előreolvasási szimbólum
LR(1)-elem      [S'->.S, #]
                 ------
                 az elem magja

    S -> AB
    A -> a
    B -> b

LR(1) kanonikus halmazok

H0 = closure({[S'->.S, #]}) =
        {   [S'->.S, #],
            [S->.AB,#]
            [A->.a,b] }
H1= read(H0, S) = [S'->S., #]
H2= read(H0, A) = [S->A.B,#], [B->.b,#]
H3= read(H0, a) = [A->a.,b]
H4= read(H2, B) = [S->AB.,#]
H5= read(H2, b) = [B->b.,#]

    S       A       B       a       b       #
0   step1   step2           step3
1                                           accept
2                   step4           step5
3                                   red(A->a)
4                                           red(S->AB)
5                                           red(B->b)

(#0, ab#) ->            0a: step3
(#0 a3, b#) ->          3b: red(A->a)
    --
(#0 A2, b#) ->          2b: step5
(#0 A2 b5, #) ->        5#: red(B->b)
       --
(#0 A2 B4, #) ->        4#: red(S->AB)
    -----
(#0 S1, #) ->           1#: accept


    S -> n S c S | ε

    [S->. , ????]

H0= closure([S'->.S,#]) =
        [S'->.S,#],
        [S->.nScS,#], [S->.,#]
H1= read(H0,S)=[S'->S.,#]
H2= read(H0,n)=[S->n.ScS,#][S->.nScS,c][S->.,c]
H3= read(H2,S)=[S->nS.cS,#]
H4= read(H2,n)=[S->n.ScS,c][S->.nScS,c][S->.,c]
H5= read(H3,c)=[S->nSc.S,#][S->.nScS,#][S->.,#]
H6= read(H4,S)=[S->nS.cS,c]
H4= read(H4,n)=[S->n.ScS,c][S->.nScS,c][S->.,c]
H7= read(H5,S)=[S->nScS.,#]
H2= read(H5,n)=[S->n.ScS,#][S->.nScS,c][S->.,c]
H8= read(H6,c)=[S->nSc.S,c][S->.nScS,c][S->.,c]
H9= read(H8,S)=[S->nScS.,c]
H4= read(H8,n)=[S->n.ScS,c][S->.nScS,c][S->.,c]