TEORIA DE LA COMPUTACION

MAESTRA: María Cruz Avitia Valenzuela.

ALUMNO: Macario González Martínez.

Actividad de aprendizaje No. 4

Un autómata de pila o Push-Down es un autómata que cuenta con un
mecanismo que permita almacenamiento ilimitado y opera como una pila. El
autómata de pila (se abrevia PDA de sus siglas en inglés Push-Down Autómata)
tiene una cinta de entrada, un control finito y una pila. La pila es una cadena de
símbolos de algún alfabeto. El símbolo que se encuentra más a la izquierda se
considera como que está en la “cima”. El dispositivo será no determinístico y
tendrá un número finito de alternativas de movimiento en cada situación como
se muestra en la siguiente figura un autómata de pila. Los movimientos serán de
dos tipos. En el primer tipo de movimiento se utiliza un símbolo de entrada.
Dependiendo del símbolo de entrada, del símbolo de la cima y el estado de
control finito, es posible un número de alternativas. Cada alternativa consiste en
un estado posterior para el control finito y una cadena (posiblemente vacía) de
símbolos, para sustituir al símbolo que se encuentra en la cima de la pila.
Después de seleccionar una alternativa, la cabeza de entrada avanza un símbolo
como se ilustra en la siguiente figura:
 LENGUAJES NO REGULARES.
El lema de bombeo para lenguajes no 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.

Enunciado del Lema de Bombeo

Para todo lenguaje regular infinito L, existe una constante n, dependiente de ese
lenguaje, de forma que si w es una cadena de L con ¦w¦ ≥ n, podemos partir w en tres
cadenas, x, y, z, de forma que:

• w = xyz, y ≠ ε (o dicho de otro modo, que ¦y¦ ≥ 1),

• ¦xy¦<= n
• Para cualquier k ≥ 0, la cadena xykz pertenece a L.
Más formalmente:
∀ lenguaje regular infinito L sobre un alfabeto Σ

∃ n ∈ N /

∀ w ∈ L / ¦w¦ ≥ n

∃ x, y,z ∈ Σ* / w = x y z, y ≠ ε, ¦x y¦<= n,

∀ k ≥ 0, x yk z ∈ L
Demostración de que un lenguaje no es regular

Dado que para todo lenguaje regular infinito se cumple el lema de bombeo, si nos dan
un lenguaje infinito y demostramos que para él no se cumple, habremos demostrado
que no es un lenguaje regular. 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. Con esta idea en mente, los
pasos a dar para demostrar que un lenguaje dado no es regular son los siguientes: