FIRST
S -> aBd | cA       ac      | ac
A -> DBb | aA       a   D   | ac
B -> AB  | ε            A   | ac
D -> cAc | B        c   B   | ac

H0= closure([S'->.S,#])=[S'->.S,#],
                        [S->.aBd,#],[S->.cA,#]
H1= read(H0, S)=[S'->S.,#]
H2= read(H0, a)=[S->a.Bd,#],[B->.AB,d],[B->.,d]
                [A->.DBb,FIRST(B)/d]
                    = [A->.DBb,a/c/d],
                [A->.aA,FIRST(B)/d],
                [D->.cAc,FIRST(B)/b],
                [D->.B,FIRST(B)/b],
                [B->.AB,FIRST(B)/b],
                [B->.,FIRST(B)/b],
                [A->.DBb,FIRST(B)/FIRST(B)/b]
                    ebből új: [A->.DBb,b],
                [A->.aA,b],
                    (D két szabálya már megvan b előreolvasásival)
    read(H0, c)=