w budowaniu postaci normalnej Chomskiego gramatyk bezkontekstowych.
Alternatywa języków Załóżmy, że mamy gramatykę generującą język i generującą język chcemy uzyskać język wszystkich słów, które są albo w , albo w
W tym celu tworzymy symbol startowy i dodajemy reguły przepisania go na symbol startowy pierwszego bądź drugiego języka:
Oraz wszystkie reguły z obu gramatyk.
Słowo będzie więc należało do języka, jeśli da się wyprowadzić w jednej z gramatyk. Musimy jednak zadbać o to, żeby nie wolno było mieszać wyprowadzeń – tak, że część słowa jest wyprowadzona pierwszą gramatyką, a część drugą. Zanim więc połączymy zbiory reguł obu gramatyk, przekształćmy je najpierw tak, żeby po lewej stronie wszystkich reguł były wyłącznie nieterminale, i zmieńmy nazwy wszystkich nieterminali, żeby żaden nieterminal nie występował jednocześnie w obu gramatykach (to jak nazwane będą nieterminale nie wpływa w żaden sposób na to, jaki język dana gramatyka generuje).