• Vstup: G1 = (N1, T, P1, S1) a G2 = (N2, T, P2, S2);
• Výstup: Gramatika Gu = (N, T, P, S) taková, že:
L(Gu) = L(G1) È L(G2)
• Metoda:
• Nechť S Ï N1 È N2, dále nechť  N1 Ç N2 = Æ:
• N := {S} È N1 È N2;
• P := {S ® S1, S ® S2} È P1 È P2;
Algoritmus: BKG pro sjednocení
19/31