Pontot érő feladat: melyek a kijövő LALR(1) kanonikus halmazok és a táblázat?

S -> aAc | bAd.
A -> B.
B -> g.

H0=closure([S'->.S,#])=
        [S'->.S,#],[S->.aAc,#],[S->.bAd,#]
H1=read(H0,S)=[S'->S.,#]
H2=read(H0,a)=[S->a.Ac,#],[A->.B,c],[B->.g,c]
H3=read(H0,b)=[S->b.Ad,#],[A->.B,d],[B->.g,d]
H4=read(H2,A)=[S->aA.c,#]
H5=read(H2,B)=[A->B.,c]
H6=read(H2,g)=[B->g.,c]
H7=read(H3,A)=[S->bA.d,#]
H8=read(H3,B)=[A->B.,d]
H9=read(H3,g)=[B->g.,d]
H10=read(H4,c)=[S->aAc.,#]
H11=read(H7,d)=[S->bAd.,#]