paragraph_text: Nisu svi formalni jezici kontekstno neovisni; dobro poznat protuprimjer je <math> \{ a^n b^n c^n : n \ge 0 \} </math>, skup svih nizova znakova koji sadrže jednak broj znakova a, nakon kojeg slijedi jednak broj znakova b i jednak broj znakova c.