section_heading: Dokaz svojstva napuhavanja
paragraph_text: KA prihvaća niz znakova  abcbcd. Budući da je ovaj niz dulji od broja stanja, postoje stanja koja se ponavljaju. U ovom primjeru, ponavljana stanja su stanja q1 i q2. Budući da podniz bcbc niza znakova abcbcd vodi stroj kroz slijed prijelaza koji započinju stanjem q1 i završavaju stanjem q1, dio niza znakova može biti ponavljan pri čemu bi KA dalje prihvaćao dani niz znakova abcbcbcbcd, baš kao i kad bi dio niza znakova bio maknut pri čemu bi KA i dalje prihvaćao niz znakova ad. U terminima formalnog iskaza svojstva napuhavanja, niz znakova abcbcd je razbijen u x dio a, y dio bc te z dio bcd. (Uočimo da je mogao biti razbijen i na druge načine, poput x dijela a, y dijela bcbc, te z dijela d, pri čemu bi svi uvjeti bili zadovoljeni osim |xy| &le; p)