EJERCICIOS DE LA FASE 2

ACTIVIDAD INDIVIDUAL

El diseño solicitado corresponde al diligenciamiento de la siguiente tabla:

EJERCICIO A
TRABAJAR

Caracterizació En este espacio se realiza:

n del - El autómata de pila está compuesto por la 7-tupla: ( Q, Σ , Γ, δ,
autómata a q0 , Γ0 , F)
pila Dónde:

Q: Conjunto finito no vacío de estados

Σ: Es el alfabeto de entrada
Γ: Alfabeto de la pila
δ: Función de transición de un estado a otro
q0 ∈ Σ: Estado inicial del autómata
Γ0: Estado inicial de la pila
F ⊆ Q: Conjunto de estados finales del autómata

- Realizar un cuadro comparativo de la Equivalencia entre AP por

vaciado de pila y AP por estado final

Procedimiento De acuerdo al autómata de pila tenemos los siguientes pasos:

de paso a
paso del Paso 1:
recorrido de
una cadena
Ingresamos la cadena aaaabbbb y empezamos en el estado inicial
q0, el cual recibe como valor de entrada a, pero para la pila no
obtiene ningún valor, más si inserta en la pila una a.

Paso 2:
Tenemos la segunda entrada

La cual también se envía una a, realizando el mismo procedimiento

anterior, insertando una a en la pila sin obtener nada de ella y
añadiéndole otra a.
Paso3:
La tercera entrada repetimos el mismo valor de entrada,
añadiendo una nueva “a” a la pila.

El movimiento en la pila es el siguiente

Paso4:
Ingresamos la última entrada para el estado q0 el cual es una a

con esta última entrada para el estado q0, podremos pasar a la

siguiente transición que va desde q0 a q1
Estas primeras cuatro entradas se realizaron con el estado q0 y el
valor a, pues es el único que apila valores, ya que las demás
transiciones sólo toman valores de la pila y que la pila tenga
valores para luego tomarlos y llegar a su estado inicial Z0, pues en
caso contrario el autómata nos rechazará nuestra cadena
ingresada.

Paso 5:
Se ejecuta la primera transición de q0 a q1, la cual recibe una b,
luego toma una a de la pila y no adiciona ningún otro valor en la
pila.

Y esta sería la forma en cómo se recorre la pila

Paso 6:
Tenemos el ingreso de una segunda b, esta vez desde el estado q1
haciendo uso de la estrella de Kleene.

De esta forma entramos una b, no apilamos ningún valor y

obtenemos de la pila el valor a.
Paso 7:
Ingresamos el valor b, para el estado q1

En este momento no apilamos más valores pero si obtenemos una

a de los ya existentes
Paso 8:
Ingresamos la última transición para el estado q1

Con esta última transición obtenemos un color verde en el

simulador, pues la cadena es aceptada y logramos llegar a la pila a
su valor Z0 en un estado final, o sea, q1
 Así logramos recorrer un autómata a pila con una cadena de
caracteres válida de acuerdo al autómata suministrado en el curso.

Practicar y
verificar lo
aprendido
 Bibliografía

Alfonseca C, E., Alfonseca M, M., Mariyón S, R. (2009). Teoría de autómatas y

lenguajes formales. Recuperado de
http://bibliotecavirtual.unad.edu.co:2077/lib/unadsp/reader.action?docID=10498456&
ppg=6