section_heading: Alternativne definicije
paragraph_text: Ova se definicija razlikuje od prethodne u tom što unaprijed isključuje mogućnost da će gramatika generirati prazni niz, ε. Ostaje vrijedeće svojstvo da bilo koja kontekstno neovisna gramatika koja generira jezik L se može učinkovito svesti u gramatiku u Chomskyjevom normalnom obliku koja generira jezik L - {ε}. Principijelna prednost potonje definicije jest što kao posljedica dokazi mogu biti marginalno jednostavniji, jer svaki korak u generiranju međunizova nikad neće smanjiti duljinu rezultirajućeg međuniza. Nedostatak je, dakako, posebna pažnja koju treba posvetiti ako je izvorna gramatika generirala ε