section_heading: Odbacivanje <math>\epsilon</math>-produkcija
paragraph_text: Neka gramatika <math>G = (V,T,P,S)</math> generira kontekstno neovisni jezik <math>L(G) - \left\{ \varepsilon \right\}</math>. Tada je moguće izgraditi istovjetnu gramatiku <math>G' = (V',T',P',S)</math> koja nema <math>\epsilon</math>-produkcija.