Lema de bombeo

En la teoría de los lenguajes formales, el lema de bombeo puede referirse a:

• Lema de agrupación para los idiomas regulares, el hecho de que todas las cadenas suficientemente largas en este idioma tienen una subestring que se puede repetir arbitrariamente muchas veces, generalmente se utiliza para demostrar que ciertos idiomas no son regulares
• Lema de agrupación para lenguajes sin contexto, el hecho de que todas las cadenas suficientemente largas en tal idioma tienen un par de subestrings que pueden repetirse arbitrariamente muchas veces, generalmente utilizados para demostrar que ciertos idiomas no son libres de contexto
• Lema de agrupación de idiomas indexados
• Lema de bomba para los idiomas de los árboles regulares