• Vstup: BKG G =
(N, T, P, S)
• Výstup: ZA M = (Q, S, G, R, s, S, F); L(G) = L(M)e
• Metoda:
• Q
:= {s};
• S := T;
• G := N
È T;
• Konstrukce množiny R:
• for each a Î S: přidej asa ® s do R;
• for each A ® x Î P: přidej As ® ys to R,
kde y = reversal(x);
• F :=
Æ;