• Vstup:    G = (N1, T, P1, S1)
• Výstup: Gi = (N, T, P, S) taková, že: L(Gi) = L(G)*
• Metoda:
• Nechť S Ï N1:
• N := {S} È N1;
• P := {S ® S1S, S ® e} È P1;
Algoritmus: BKG pro iteraci
21/31