Merkitys
- (tietojenkäsittelytiede)algoritmi, jolla voidaan osoittaa jokin formaali kieli epäsäännölliseksi
Esimerkkilauseet
Esimerkiksi kieli voidaan todistaa epäsäännölliseksi olettamalla, että kieli on säännöllinen, eli pumppauslemma on voimassa.Pumppauslemma on keino osoittaa jokin formaali kieli epäsäännölliseksi.