FASE 2.

AUTOMATAS DE PILA
Y GRAMATICAS

PRESENTADO POR:
DAVID FERNANDO ROSERO G.

TUTOR:
EDGAR ANTONIO CORTES

CURSO: AUTOMATAS Y LENGUAJES FORMALES

GRUPO: 301405-33

UNIVERSIDAD NACIONAL ABIERTA Y A DISTANCIA-UNAD

OCTUBRE 2018
 EJERCICIOS DE LA FASE 2
ACTIVIDAD INDIVIDUAL

De acuerdo al último dígito de su cédula o tarjeta de identidad, identifique el ejercicio

asignado en la siguiente tabla:

Último dígito Ejercicio

de la Cédula o
TI
1y9 Ejercicio 1
2y8 Ejercicio 2
3y7 Ejercicio 3
4y6 Ejercicio 4
5y0 Ejercicio 5

ACTIVIDAD 1: Autómatas de Pila

1. Ejercicio 1 2. Ejercicio 2

3. Ejercicio 3 4. Ejercicio 4

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

EJERCICIO A El ejercicio a realizar es el número 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

AP= (Ʃ, r, Q, Ao, qo, f, F) autómata no determinista

Ʃ= {a, b}. Alfabeto

r= {Zo, a, b, λ}. Alfabeto de pila
Q= {q0, q1, q2}. Estados
Ao ϵ r =Zo Símbolo Inicial
qo ϵ Q = qo Estado inicial
F⊑Q= q2 Estado de aceptación
f Función Transición

((q0,a,λ);(q1,a)), ꝺ (q0,a,λ)=(q1,a)
((q0,b,λ);(q1,b)), ꝺ (q0,b,λ)=(q1,b)
((q1,λ,a);(q2,λ)), ꝺ (q1,λ,a)=(q2,λ) Aceptación
((q1,λ,b);(q2,λ)), ꝺ (q1,λ,b)=(q2,λ) Aceptación
((q2,λ,a)=(q1,λ)), ꝺ (q2,λ,a)=(q1,λ)
((q2,λ,b)=(q1,λ)), ꝺ (q2,λ,b)=(q1,λ)
((q1,a,λ)=(q0,a)), ꝺ (q1,a,λ)=(q0,a)
((q1,b,λ)=(q0,b)), ꝺ (q1,b,λ)=(q0,b)
 - Realizar un cuadro comparativo de la Equivalencia entre AP por
vaciado de pila y AP por estado final

AP vacado de Pila AP por estado final

Sea AP= (Σ, Γ, Q, A0, q0, f, F) Sea AP= (Σ, Γ, Q, A0, q0, f, F)
un autómata a pila un autómata a pila

Construimos Construimos
AP= (Σ, Γ∪{B}, Q∪{s,r}, B, s, AP´= (Σ, Γ∪{B}, Q∪{s,r}, B, s,
f, ∅), con B∉Γ y s,r∉Q, f´, ∅), con B∉Γ y s,r∉Q,
donde f está definido por: donde f´ está definido por:

f(s,λ,B)={(q0,A0B)}
f(q,a,A)=f(q,a,A) para todo
q∈Q, q∉F, a∈Σ∪{λ} y A∈Γ
f(q,a,A)=f(q,a,A) para todo
q∈F, a∈Σ y A∈Γ
f(q,λ,A)=f(q,λ,A) ∪{(r, λ)}
para todo q∈F y A∈Γ
f’(q,λ,B)= {(r, λ)} para todo
q∈F
f(r,λ,A)= {(r, λ)} para todo
A∈Γ∪{B}
f´ (s,λ,B)={(q0,A0B)}
f´ (q,a,A)=f(q,a,A) para todo
q∈Q, q∉F, a∈Σ∪{λ} y A∈Γ
f´ (q,a,A)=f(q,a,A) para todo
q∈F, a∈Σ y A∈Γ
f´ (q,λ,A)=f(q,λ,A) ∪{(r, λ)}
para todo q∈F y A∈Γ
f’(q,λ,B)= {(r, λ)} para todo
q∈F
f´ (r,λ,A)= {(r, λ)} para todo
A∈Γ∪{B}

Se puede apreciar que APV es igual que APF´ y se verifica

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

Paso 1: El inicio del autómata es q0, en el símbolo z0, inicia el

recorrido.
Paso 2: El autómata inicia el recorrido en este caso con (a).

Paso 3: El autómata ingresa el valor “a” y la pila no extrae nada

Paso 4: El autómata con estas variables pasa al estado q1.

Paso 5: la representación matemática es la siguiente:

((q0,a,λ);(q1,a)), ꝺ (q0,a,λ)=(q1,a)
Paso 6: El autómata en el estado q1 tiene como ingreso el valor
a.

Paso 7: El autómata nuevamente ingresa el valor de “a” a la pila

y no extrae nada.

Paso 8: el autómata ante estas variables, se mueve al estado q2

Paso 9: La representación matemáticas es la siguiente

((q1,λ,a);(q2,λ)), ꝺ (q1,λ,a)=(q2,λ)

Paso 10: El autómata en su estado q2, tiene como ingreso en la

cinta el valor λ.

Paso 11: Al llegar a un estado de aceptación q2, el autómata

finaliza su proceso.

Paso 12: El proceso se repite con el valor de la cinta “a” por tres
ves seguidas más.
Paso 13: El inicio del autómata es q0, en el símbolo z0, inicia el
recorrido.

Paso 14: El autómata inicia el recorrido en este caso con (b).

Paso 15: El autómata ingresa el valor “b” y la pila no extrae nada

Paso 16: El autómata con estas variables pasa al estado q1.

Paso 17: la representación matemática es la siguiente:

((q0,b,λ);(q1,b)), ꝺ (q0,b,λ)=(q1,b)

Paso 18: El autómata en el estado q1 tiene como ingreso el valor

b.

Paso 19: El autómata nuevamente ingresa el valor de “b” a la

pila y no extrae nada.

Paso 20: el autómata ante estas variables, se mueve al estado

q2

Paso 21: La representación matemáticas es la siguiente:

((q1,λ,b);(q2,λ)), ꝺ (q1,λ,b)=(q2,λ)

Paso 22: El autómata en su estado q2, tiene como ingreso en la

cinta el valor λ.

Paso 23: Al llegar a un estado de aceptación q2, el autómata

finaliza su proceso.
 Paso 24: El proceso se repite con el valor de la cinta “b” por
dos ves seguidas más.

Al final todo el proceso la cadena será leída por completo y se

mantendrá en el estado de aceptación q2, y la pila restante será
igual a aaaaabbbb de 9 caracteres resultando en una cadena
valida.

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

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