• Vstup: BKG G = (N, T, P, S)
• Výstup: RZA M = (Q, S, G, R, s, #, F); L(G) = L(M)f
• Metoda:
• Q := {s, f};
• S := T;
• G := N È T È {#};
• Konstrukce množiny R:
• for each a Î S: přidej sa ® as do R;
• for each A ® x Î P: přidej xs ® As do R;
• přidej #Ss ® f  do R;
• F := {f};
Algoritmus: Z BKG na RZA
42/50