Universidad Iberoamericana (UNIBE).

Teora de Lenguajes Formales y Autmatas

Misael Lpez Mndez 12-0518 Presenta:

Lema del bombeo

Dra. Ing. Rina Familia
Septiembre-Diciembre 2013 Seccin 01

El llamado lema de bombeo (pumping lemma, en ingls) es una propiedad de los lenguajes regulares que es muy til
para demostrar que ciertos lenguajes no son regulares, podrs descubrir ms de este excelente tema a continuacin.

Introduccin

El lema de bombeo para lenguajes regulares enuncia una propiedad que cumplen todos los lenguajes regulares infinitos (y tambin algunos lenguajes que no son regulares). Gracias a este lema podremos demostrar que ciertos lenguajes infinitos no son regulares. Es importante hacer notar que el lema de bombeo es una herramienta adecuada para demostrar que un lenguaje no es regular, pero no lo ser para demostrar que un lenguaje si es regular (por el hecho de que existen algunos lenguajes no regulares que la cumplen). Por tanto, si un lenguaje no cumple el lema de bombeo no es regular, pero si lo cumple no podremos decir si es o no regular. Describe una propiedad esencial de todo lenguaje regular. Informalmente, dice que cualquier palabra suficientemente larga en un lenguaje regular puede ser bombeada - eso es, repetir una seccin en la mitad de la palabra un nmero arbitrario de veces - para producir una nueva palabra que tambin pertenece al mismo lenguaje.

Lema de Bombeo.

Lema: Si A es un lenguaje regular, existe un nmero p tal que si s A y |s| p, entonces s puede dividirse en tres partes s = xyz de manera que se satisfacen las siguientes condiciones: 1 Para cada i 0,xyi zA 2 |y| > 0 3 |xy| p Es til para demostrar que un lenguaje especfico no es regular: Enunciado: Sea un lenguaje regular. Entonces existe un entero (al que llamaremos "longitud de perteneciente a ,

bombeo" y que depender exclusivamente de de longitud mayor o igual que (p. ej. dividiendo

) tal que cualquier cadena .

, puede ser escrita como

en tres subcadenas), de forma que se satisfacen las siguientes condiciones:

Y es la subcadena que puede ser bombeada (borrada o repetida un nmero de veces como se indica en (3), y la cadena resultante seguir perteneciendo a ). (1) significa que la cadena que

se bombea debe tener como mnimo longitud uno. (2) significa que debe estar dentro de los primeros caracteres. No hay restricciones acerca de o .
2

Demostracin del Lema de Bombeo

Sea x = s1, . . . ,sj1, y = sj, . . . ,sl1 y z = sl, . . . ,sn. Como x lleva la maquina desde el estado inicial r1 hasta el estado rj, y leva la maquina desde rj hasta rj y z la lleva desde rj hasta el estado de aceptacin rn, entonces M tiene que aceptar xyi z para i 0. Sabemos que j 6= l, |y| > 0 y l p + 1 as que |xy| p por lo que se satisfacen todas las condiciones del lema.

Demostracin de que un lenguaje no es regular.

Se realiza la demostracin por contradiccin: Se supone el que lenguaje si es regular Se aplica el lema que garantiza que existe un valor p. Finalmente se muestra que no es posible dividir la cadena en tres partes xyz de manera que las cadenas xyi z para i 0 pertenezcan tambin al lenguaje. Como el lema de bombeo es una propiedad que se cumple para todas las cadenas de longitud mayor o igual a cierta n, bastar encontrar una cadena de ese lenguaje, de longitud mayor o igual a esa n, que no se pueda bombear para demostrar que el lenguaje no es regular. El lema de bombeo dice que si el lenguaje fuera regular, podramos encontrar una forma de partir esa palabra w en tres, cumpliendo ciertas restricciones, y que esa particin sera bombeable. Como queremos demostrar que el lenguaje no es regular, tendremos que demostrar que no hay ninguna forma de partir la palabra en tres cumpliendo las restricciones del lema, y que despus se pueda bombear siempre. Finalmente bastar con encontrar una constante k 0 que haga que ninguna de las particiones posibles de w sea bombeable.

Ejemplo:

Receta para el uso del lema de bombeo.

Dado un lenguaje

. no es regular.

Queremos comprobar que

Comprobacin con contradiccin. Asumimos que sea regular. (pero no lo conocemos). , tal que cumpliendo las

El lema de bombeo garantiza la existencia de un Buscamos

(con un poco de sabidura) que depende de

El lema de bombeo garantiza la existencia de la particin de 3 propiedades.

Comprobamos (con un poco de sabidura) que, independiente de la particin de

en

concreto (en los lmites de las primeras dos propiedades), se produce una contradiccin con la tercera propiedad.

Algunos Lemas de Bombeo Telegraco: Muy til

Conclusin.

Este lema de bombeo solo garantiza una propiedad para lenguajes regulares, es decir, todos los lenguajes regulares (infinitos) la tienen, pero pueden existir ms lenguajes que la tengan, o en otras palabras, pueden existir lenguajes divisin de en con todas las propiedades, pero entonces donde encontramos tal y la

no es regular. Con el lema de (el argumento es

bombeo tambin se puede derivar: si tal

fcil: no hace falta que lleguemos a una estado final en la comprobacin, lo importante eran los caminos recorridos).

Referencias:

http://trevinca.ei.uvigo.es/~formella/doc/talf05/talf/node36.html http://www.itescam.edu.mx/principal/sylabus/fpdb/recursos/r41974.PDF Y. Bar-Hillel, M. Perles, E. Shamir, "On formal properties of simple phrase structure grammars", Zeitschrift fr Phonetik, Sprachweissenshaft und Kommunikationsforschung 14 (1961) pp. 143-172 http://webdiis.unizar.es/asignaturas/TC/wp/wp-content/uploads/2012/09/121022BombeoI1.pdf