At first, choose a number n of the pumping lemma.
En primer lugar, elegir un número n del lema de bombeo.
Then, L must satisfy pumping lemma.
Entonces, L debe satisfacer lema de bombeo.
In the theory of formal languages, the pumping lemma for regular languages is a lemma that describes an essential property of all regular languages.
En la teoría de lenguajes formales, el lema del bombeo para lenguajes regulares describe una propiedad esencial de todo lenguaje regular.
While the pumping lemma is often a useful tool to prove that a given language is not context-free, it does not give a complete characterization of the context-free languages.
Mientras que el lema del bombeo es a menudo una útil herramienta para probar que un lenguaje dado no es libre del contexto, este no ofrece una caracterización completa de los lenguajes libres del contexto.
This process of "pumping up" additional copies of v {\displaystyle v} and x {\displaystyle x} is what gives the pumping lemma its name.
Este proceso de "bombear" copias adicionales de v y x es lo que le da al lema del bombeo su nombre.
Finite languages (which are regular and hence context-free) obey the pumping lemma trivially by having p {\displaystyle p} equal to the maximum string length in L {\displaystyle L} plus one.
Los lenguajes finitos (los cuales son regulares y por lo tanto libres del contexto) cumplen el lema del bombeo trivialmente haciendo p igual a la longitud de la cadena de mayor longitud en L más uno.
In 1953, he founded a pioneering algebraic-computational linguistic group, and in 1961 he contributed to the proof of the pumping lemma for context-free languages (sometimes called the Bar-Hillel lemma).
En 1953, fundó un pionero grupo lingüístico-algebraico computacional, y en 1961 contribuyó a la prueba del lema de bombeo para lenguas libres de contexto (a veces llamado lema Bar-Hillel).
If a language does not satisfy the condition given by the pumping lemma, we have established that it is not context-free.
Si un lenguaje no satisface la condición dada por dicho lema, se establece que no es libre del contexto.
Ogden's lemma, a stronger version of the pumping lemma for context-free languages
El lema de Ogden es un segundo lema de bombeo, más fuerte, para lenguajes libres de contexto.
To prove that a language such as this is not regular, one often uses the Myhill-Nerode theorem or the pumping lemma among other methods.
Para probar que un lenguaje de este tipo no es regular se usa el teorema de Myhill-Nerode, o el lema de bombeo por ejemplo.