LR(0)
-----

LR(0)-elem
    [S->.apS]
    [S->a.pS]
    [S->ap.S]
    [S->apS.]

    [A->.]

S' -> S
S -> ap | apS

H0= closure({[S'->.S]}) =
        {   [S'->.S],
            [S->.ap], [S->.apS]
        }
H1= read(H0, S) = [S'->S.]
H2= read(H0, a) = [S->a.p], [S->a.pS]
H3= read(H2, p) = [S->ap.], [S->ap.S],
                  [S->.ap], [S->.apS]
H4= read(H3, S) = [S->apS.]
H2= read(H3, a) = [S->a.p], [S->a.pS]

    action                      goto
                            S       a       p
0   léptet                  1       2
1   redukál(S'->S)  
2   léptet                                 3
3   redukál(S->ap)/léptet   4       2
4   redukál(S->apS)

SLR(1)
------
elemző halmazok mint fent

S' -> S
S  -> ap | apS

FIRST(S')       FIRST(S)    | a
FIRST(S )   a               | a

FOLLOW(S')  #                       | #
FOLLOW(S)       FOLLOW(S'),FOLLOW(S)| #


                                ---goto---
    a       p       #           S
0   s2                          1
1                   accept
2           s3
3   s2              r(S->ap)    4
4                   r(S->apS)

H1= read(H0, S) = [S'->S.]
H2= read(H0, a) = [S->a.p], [S->a.pS]
H3= read(H2, p) = [S->ap.], [S->ap.S],
                  [S->.ap], [S->.apS]
H4= read(H3, S) = [S->apS.]
H2= read(H3, a) = [S->a.p], [S->a.pS]

(#0,        apap#) ->          0/a: s2
(#0a2,      pap#) ->           2/p: s3
(#0a2p3,    ap#) ->            3/a: s2
(#0a2p3a2,  p#) ->             2/p: s3
(#0a2p3a2p3,#) ->              3/#: r(S->ap)
(#0a2p3S4,  #) ->              4/#: r(S->apS)
(#0S1,      #) ->              1/#: accept


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]
    read(H0, F) =
    read(H0, n) =
    read(H0, i) =