section_heading: Odbacivanje mrtvih znakova
paragraph_text: Neka dana kontekstno neovisna gramatika <math>G = (V,T,P,S)</math> generira neprazni jezik, tj. <math>L(G) \ne \emptyset</math>. Moguće je izgraditi istovjetnu gramatiku <math>G' = (V',T',P',S)</math> koja nema mrtvih znakova, odnosno za bilo koji <math>A \in V'</math> vrijedi <math>A \Rightarrow w,w \in T*</math>.