Het Pumping Lemma is een fundamenteel hulpmiddel op het gebied van computationele complexiteitstheorie waarmee we kunnen bepalen of een taal regulier is of niet. Volgens het Pumping Lemma moet een taal regelmatig zijn als aan drie voorwaarden wordt voldaan. Deze voorwaarden zijn als volgt: 1. Lengtevoorwaarde: De eerste voorwaarde stelt dat