Na teoria da linguagens formais na teoria da computabilidade, o  lema do bombeamento ou lema da bombagem (em inglês: pumping lemma) diz que qualquer linguagem infinita de dada classe pode ser "bombeada" (pumped) e ainda pertencer àquela classe (as linguagens finitas são todas regulares).