Koristi se lema o razrastanju za KS jezike (engl.
pumping lemma) koja kaže da za svaki KS jezik
postoje
takvi da se svaka reč
može zapisati kao
gde
da za svako
važi
.
Dovoljno je pokazati da tvrđenje ne važi za
jer on pripada i klasama višeg stepena. Pretpostavljajući da
jeste KS, po slučajevima kako sve
može da se podeli trebalo bi da dođe do kontradikcije u svakom slučaju.
[Ovu poruku je menjao Goran Rakić dana 25.12.2009. u 11:45 GMT+1]
http://sr.libreoffice.org — slobodan kancelarijski paket, obrada teksta, tablice,
prezentacije, legalno bez troškova licenciranja