• 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 := Æ;
Algoritmus: Z BKG na ZA
47/50