section_heading: Primjer 1
paragraph_text: Jednostavna kontekstno neovisna gramatika je zadana sa: gdje je znak | korišten kao separator višestrukih opcija za isti nezavršni znak, a &epsilon; stoji za prazni niz. Ova gramatika generira jezik <math> \{ a^n b^n : n \ge 0 \} </math> koji nije regularan.