Zaostrzanie zasad tworzenia reguł Reguły te można zaostrzyć bez straty mocy, pozwalając na co najwyżej jeden symbol terminalny z prawej strony. Wprowadza się w tym celu kilka stanów pomocniczych i każdą regułę postaci:
Można przepisać do zestawu reguł:
Analogicznie przepisuje się reguły postaci:
Drugim często nakładanym ograniczeniem jest zabranianie reguł, które zmieniają stan bez czytania żadnych symboli:
Algorytm pozbywania się ich jest następujący: Wybieramy jedną regułę postaci której nie oznaczyliśmy jeszcze jako zbędnej Dla każdej reguły postaci dodajemy do zbioru reguł regułę postaci chyba że taka już istnieje Jeśli B było akceptujące, A natomiast nie było, zaznaczamy A jako akceptujące Zaznaczamy wybraną regułę jako zbędną – każde słowo, w którego wyprowadzeniu były użyte reguły , możemy teraz wyprowadzić samym Jeśli natomiast wyprowadzenie słowa kończyło się gdzie B było akceptujące, możemy to wyprowadzenie zakończyć na które teraz również jest akceptujące. Jeśli wszystkie reguły postaci są zaznaczone jako zbędne, usuwamy je i kończymy.