section_heading: Formalni iskaz
paragraph_text: Ako je jezik L regularan, tada postoji broj p > 0 takav da za svaki niz znakova w u L za koji je |w| &ge; p može biti zapisan u sljedećem obliku, pri čemu je p duljina napuhavanja: s podnizovima x, y i z takvim da |xy| &le; p, |y| &gt; 0 i