Pumppauslemma

Pumppauslemma on keino osoittaa jokin formaali kieli epäsäännölliseksi. Koska kaikki säännölliset kielet ovat tunnistettavissa äärellisillä automaateilla, on kyseisten automaattien pakko sisältää jokin itseään toistava osa. Pumppauslemma perustuu tähän ajatukseen, mutta sillä ei kuitenkaan voida todistaa mitään kieltä säännölliseksi.

Pumppauslemma voidaan formalisoida seuraavasti: Jos kieli $L$ on säännöllinen, on olemassa $p>0$ siten, että mikä tahansa $x$, joka kuuluu kieleen $L$, missä $|x|\ge p$, voidaan kirjoittaa muotoon $x=uvw$ siten, että $|uv|\le p$, $|v|\ge 1$ ja $u{v}^{i}w$ kuuluu kieleen $L$ kaikilla $i$.

Esimerkiksi kieli $L=\{a^n{b}^n|n\ge 0\}$ voidaan todistaa epäsäännölliseksi olettamalla, että kieli on säännöllinen, eli pumppauslemma on voimassa. Valitaan $x=a^p{b}^p$, jolloin $|x|=2p\ge p$, koska $p>0$, joten $x$ voidaan jakaa osiin (kun $x=uvw$), siten että $|uv|\le p$, $|v|\ge 1$.

Valitaan $u=a^m$, $v=a^n$ ja $w=a^{p-(m+n)}{b}^p$, missä $m\le n-1$, $n\ge 1$ ja pumpataan $0$ kertaa, eli $i=0$. Tällöin saadaan merkkijono $a^m{a}^{p-(m+n)}{b}^p=a^{p-n}{b}^p$ ja koska $n\ge 1$, tämä merkkijono ei selvästikään kuulu kieleen $L$. Päädyttiin ristiriitaan, joten oletus oli virheellinen. Siispä kieli $L$ on saatu osoitettua epäsäännölliseksi.