En la teoría de los lenguajes formales en la teoría de Computability, un lema de bombeo indica que cualquier lengua de una clase dada puede ser " pumped" y todavía pertenecer a esa clase. Una lengua puede ser eventualmente secuencia suficientemente larga bombeada en la lengua se puede romper en los pedazos, algunos cuyo puede ser repetido arbitrariamente para producir una secuencia más larga en la lengua. Las pruebas de estos lemas requieren típicamente el que cuenta las discusiones tal como el principio de casillero .

Los dos ejemplos más importantes son el lema de bombeo del para las idiomas regulares y el lema de bombeo del para las idiomas sin contexto . el lema de Ogden del es un segundo, un lema de bombeo más fuerte para las idiomas sin contexto

Estos lemas se pueden utilizar para determinar si una lengua particular es el no en una clase de lengua dada. Sin embargo, no pueden ser utilizados para determinar si una lengua está en una clase dada, puesto que la satisfacción del lema de bombeo es un necesario, pero no suficiente, condición para la calidad de miembro de la clase.