Merkitys
- 1.(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.