S' -> S
S -> SS | a

H0  =closure([S'->.S])=[S'->.S],[S->.SS],[S->.a]
H1  =read(H0,S)=[S'->S.],[S->S.S],[S->.SS],[S->.a]
H2  =read(H0,a)=[S->a.]
H3  =read(H1,S)=[S->SS.],[S->S.S],[S->.SS],[S->.a]
H2  =read(H1,a)=[S->a.]
H3  =read(H3,S)=[S->SS.],[S->S.S],[S->.SS],[S->.a]
H2  =read(H3,a)=[S->a.]

    action              S       a
0   lepes               1       2
1   lepes/accept        3       2
2   red(S->a)
3   lepes/red(S->SS)    3       2