1

EJERCICIOS DE LA FASE 2
ACTIVIDAD INDIVIDUAL

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

EJERCICIO A Ejercicio No 5
TRABAJAR

Caracterización En este espacio se realiza:

del autómata a
pila Mediante la definición formal explicar las características del autómata

Corresponde a un Autómata Finito No Determinístico con transiciones vacías

Σ Alfabeto entrada (a, b)

Γ Alfabeto de la pila (λ, Zo)
Q Conjunto finito de estados (q0, q1, q2)
A0 Símbolo inicial de la pila (Zo)
F Estados finales (q2)
f Función de transición:

f(q0, b, ʎ)=(q1, b)

f(q0, a, ʎ), (q1, a)

f(q1, ʎ, b)=(q2, ʎ)

f(q1, ʎ, a), (q2, ʎ)

f(q2, ʎ, b), (q1, ʎ)

f(q2, ʎ, a), (q1, ʎ)

 2

f(q1, b, ʎ), (q0, b)

f(q1, a, ʎ), (q0, a)

Realizar un cuadro comparativo de la Equivalencia entre AP por vaciado de

pila y AP por estado final

Por vaciado de pila Por estado final

AP = ( Q, Σ, Γ, δ, q 0, Z 0) AP = ( Q, Σ, Γ, δ, q 0, Z0, F)

( P) = { w | ( q 0, w, Z0) ├* (q, (P)={ w | ( q 0, w, Z0) ├* (q,

ε, ε)} ε, α)}
para cualquier estado q para algún estado q de F y
cualquier cadena de pila α

Procedimiento Realice de manera detallada y grafica el procedimiento paso a paso del

de paso a paso recorrido de una cadena (La cadena la selecciona el estudiante, debe
del recorrido contener como mínimo 8 caracteres) en el autómata a pila. Describir cómo
de una cadena funciona el almacenamiento en la pila, como funciona LIFO, etc.

- Paso 1. Inicia el autómata donde comienza a leer la cadena a evaluar en

la cinta superior y la pila empieza con la raíz o base (Z0).

Cinta superior
a a b b a a b

Memoria Estado Por leer pila

q0 aabbaab Z0

f(q0, a,z0)=(q0, z0) Z0

- Paso 2. Cuando inicia con el primer carácter de la cadena (a) el estado

pasa a q1, la pila queda en (a) y está por leer (abbaab).
 3

Cinta superior
a a b b a a b

Memoria Estado Por leer pila

q0 aabbaab Z0
q1 abbaab a

f(q0, a,z0)=(q1, aZ0) a

f(q0, a,z0)=(q0, z0) Z0

- Paso 3. Sigue leyendo el segundo carácter (a), queda por leer (bbaab) y la
pila está en (z0 a a)

Cinta superior
a a b b a a b

Memoria Estado Por leer pila

q0 aabbaab Z0
q1 abbaab a
q0 bbaab Z0 a a

f(q0, a,z0)=(q0,aaZ0) a
f(q0, a,z0)=(q1, aZ0) a
f(q0, a,z0)=(q0, z0) Z0

- Paso 4. Se lee el tercer carácter (b) en el estado q1, quedando por leer
(baab) y la pila (zo a a b).
 4

Cinta superior
a a b b a a b

Memoria Estado Por leer pila

q0 aabbaab Z0
q1 abbaab a
q0 bbaab Z0 a a
q1 baab Z0aab

f(q0, b,z0)=(q1,baaZ0) b
f(q0, a,z0)=(q0,aaZ0) a
f(q0, a,z0)=(q1, aZ0) a
f(q0, a,z0)=(q0, z0) Z0

- Paso 5. Se lee el cuarto carácter (b), en el estado q0 por leer (aab) con la
pila (Z0aabb).
Cinta superior
a a b b a a b

Memoria Estado Por leer pila

q0 aabbaab Z0
q1 abbaab a
q0 bbaab Z0 a a
q1 baab Z0aab
f(q0, b,z0)=(q0,bbaaZ0) b q0 aab Z0 aabb
f(q0, b,z0)=(q1,baaZ0) b
f(q0, a,z0)=(q0,aaZ0) a
f(q0, a,z0)=(q1, aZ0) a
f(q0, a,z0)=(q0, z0) Z0

- Paso 6. Cuando se lee el quinto carácter (a), el estado cambia a q1 y

queda por leer (ab) y la pila (z0aabba)
 5

Cinta superior
a a b b a a b

Memoria
Estado Por leer pila
q0 aabbbaab Z0
q1 abbbaab a
f(q0, a,z0)=(q1,abbaaZ0) a q0 bbaab Z0 a a
f(q0, b,z0)=(q0,bbaaZ0) b q1 baab Z0 a a b
f(q0, b,z0)=(q1,baaZ0) b q0 aab Z0 aabb
f(q0, a,z0)=(q0,aaZ0) a q1 ab Z0 aabba
f(q0, a,z0)=(q1, aZ0) a
f(q0, a,z0)=(q0, z0) Z0

- Paso 7. Cuando se lee el sexto carácter (a), el estado pasa a q0, por leer
(ab) y la pila (z0aabbaa)

Cinta superior
a a b b a a b

Memoria Estado Por leer pila

q0 aabbbaab Z0
q1 abbbaab a
f(q0, a,z0)=(q0,aabbaaZ0) a q0 bbaab Z0 a a
f(q0, a,z0)=(q1,abbaaZ0) a q1 baab Z0 a a b
f(q0, b,z0)=(q0,bbaaZ0) b q0 aab Z0 aabb
f(q0, b,z0)=(q1,baaZ0) b q1 ab Z0 aabba
f(q0, a,z0)=(q0,aaZ0) a q0 b Z0 aabbaa
f(q0, a,z0)=(q1, aZ0) a
f(q0, a,z0)=(q0, z0) Z0

- Paso 7. Por último cuando el estado pasa a q1 se lee el símbolo de

entrada (b) y se obtiene la pila (z0aabbaab).
 6

Cinta superior
a a b b a a b

Memoria Estado Por leer pila

q0 aabbaab Z0
f(q0,b,z0)=(q1,baabbaaZ0) b q1 abbaab a
f(q0, a,z0)=(q0,aabbaaZ0) a q0 bbaab Z0 a a
f(q0, a,z0)=(q1,abbaaZ0) a q1 baab Z0 a a b
f(q0, b,z0)=(q0,bbaaZ0) b q0 aab Z0 aabb
f(q0, b,z0)=(q1,baaZ0) b q1 ab Z0 aabba
f(q0, a,z0)=(q0,aaZ0) a q0 b Z0 aabbaa
f(q0, a,z0)=(q1, aZ0) a q1 ʎ Z0 aabbaab
f(q0, a,z0)=(q0, z0) Z0

Practicar y Apoyándose en el simulador JFlap o VAS ejecutar y validar por lo menos

verificar lo cinco cadenas válidas y 5 cadenas rechazadas por el autómata. En este
aprendido espacio adjunta la imagen.

Preguntas de control

1. En la minimización del autómata en la primera validación, como estados

equivalentes quedan:

A. q0, q4, q6
 7

B. q4, q0, q6

C. q6, q4, q0

D. q4, q6, q0

2. Los nombres de los conjuntos que se manejan después de la primera

validación de estados son:

A. X, M, Z, N

B. A, B, C, D

C. X, R, Z, D

D. A, M ,N, Z

3. En la tabla de transición final como resultado de la minimización del

autómata:

0 1
B ? ?

A. B,A

B. Z,N

C. Z,A

D. A,B
 8

Bibliografía

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

formales. (pp. 71 - 115). Recuperado de
http://bibliotecavirtual.unad.edu.co:2077/lib/unadsp/reader.action?docID=10498456
&ppg=6

Agila, M. (2017). Autómata a pila: definición formal. [Archivo de video]. Recuperado de

https://www.youtube.com/watch?v=2qn_Fhmxqd4