Está en la página 1de 13

ACTIVIDAD 1

De acuerdo al último dígito de la cedula (1.056.955.004, el ejercicio a realizar es el 4.

EJERCICIO A
TRABAJAR

Caracterizació - Mediante la definición formal explicar las


n del características del autómata
autómata a
pila Describiéndolo formalmente queda:
K =Conjunto de estados(q0,q1,q2 y q3)
Σ =Alfabeto de entrada (a,b)
Г = Alfabeto de la pila
S =Estado inicial (q0)
Z0 = Símbolo inicial de la pila
F =Estado final o de aceptación (q3)
δ = Función de transición, en este autómata se
pueden formar las siguientes transiciones
δ(q0,A,λ)=(q1,Z)
δ(q0,B,λ)=(q3,Z)
δ(q1,A,λ)=(q2,Z)
δ(q2,B,λ)=(q3,Z)

Cada transición cuenta con tres símbolos, el


primero indica que símbolo se espera leer en la
entrada para que se ejecute la acción, el segundo
indica que símbolo se espera que esté en la cima
de la pila sacarlo y que se ejecute la acción y el
tercer símbolo es el que se colocará en la pila
después de sacar el símbolo que estaba en la
cima de la pila.

Este autómata se compone de cuatro estados


donde el estado inicial es el q0 y el estado final
es el q3 y posee dos caminos para recorrer una
cadena de caracteres válida hasta el estado final
o de aceptación.
- Realizar un cuadro comparativo de la
Equivalencia entre AP por vaciado de pila y AP
por estado final

Autómata pila
Vaciado de pila Estado final
La pila debe quedar La pila no tiene que
vacía quedar necesariamente
vacía
La aceptación es Debe estar
independiente en donde obligatoriamente en un
se encuentre el estado final o de
autómata aceptación.

Procedimiento Realice de manera detallada y grafica el procedimiento


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

Nota: El autómata planteado para el ejercicio solo


admite una cadena de máximo de 3 caracteres para
ser aceptada, por lo tanto se le realiza una
modificación al autómata para poder introducir una
cadena de mínimo 8 caracteres y será un autómata
pila por estado final.

La cadena válida seleccionada para hacer el


recorrido es
AAAAAAAB
- Paso 1. El autómata se encuentra en el estado qo y
la pila solo contiene el fondo Z0

Paso 2. Se lee de la cinta el primer carácter de la


cadena teniendo como entrada un carácter A, la
transición que aplica (A, λ; Z) indica que cuando se
lea A no se saca nada de la pila y se guarde A en la
pila, pero sigue en el estado q0

Paso 3. Como se tiene una transición recursiva en q0,


se repite el paso 1, 4 veces, pero en cada ciclo se va
incorporando una Z a la pila.

2 Carácter de entrada
3 Carácter de entrada

4 Carácter de entrada
5 Carácter de entrada

Paso 3. Se lee de la cinta el sexto carácter de la


cadena teniendo como entrada un carácter A, la
transición que aplica (A, λ; Z) indica que cuando se
lea A no se saca nada de la pila y se guarde A en la
pila y se pasa al estado q1
Paso 4. Se lee de la cinta el séptimo carácter de la
cadena teniendo como entrada un carácter A, la
transición que aplica (A, λ; Z) indica que cuando se
lea A no se saca nada de la pila y se guarde A en la
pila y se pasa al estado q2

Paso 5. Se lee de la cinta el octavo carácter de la


cadena teniendo como entrada un carácter B, la
transición que aplica (B, λ; Z) indica que cuando se
lea B no se saca nada de la pila y se guarde B en la
pila y se pasa al estado final q3, finalizando el
autómata.

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


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

ACTIVIDAD 2
1. Realice el proceso paso a paso la minimización del autómata
Para el autómata ya minimizado realice:
2. Realice la notación formal (caracterización) matemática del autómata ya minimizado
3. Identifique El Lenguaje que reconoce.
4. Identifique su gramática (de forma manual) por la derecha y caracterícela. Debe incluir el
diagrama de estados con los componentes de la gramática asociados a las variables y a las
constantes.
El diseño solicitado corresponde al diligenciamiento de la siguiente tabla:

EJERCICIO A
TRABAJAR

Procedimiento Realice de manera detallada el procedimiento paso


de a paso de la minimización del autómata.
minimización
- Paso 1 Definición de los elementos de la
quíntupla teniendo en cuenta que es un autómata
finito determinista.
k=(q0,q1,q2,q3,q4,q5,q6,q7,q8)
Σ=(0,1)
s=q0
f=(q2,q4,q8)
δ: { q0,q1,q2,q3,q4,q5,q6,q7,q8}.
δ(q0,0)=q3
δ(q0,1)= q1
δ(q1,0)= q2
δ(q1,1)= q1
δ(q2,0)= q4
δ(q2,1)= q5
δ(q3,0)= q0
δ(q3,1)= q1
δ(q4,0)= q4
δ(q4,1)= q8
δ(q5,0)= q2
δ(q5,1)= q8
δ(q6,0)= q7
δ(q6,1)= q3
δ(q7,0)= q8
δ(q7,1)= q3
δ(q8,0)= q7
δ(q8,1)= q4

- Paso 2 determinar conjuntos aceptador (x) y no


aceptador (y).
X = {q2,q4,q8}
Y = {q0,q1,q3,q5,q6,q7}

- Paso 3 transiciones para los dos conjuntos.


Para conjunto x
0 1
q2 x y
q4 x x
q8 y x

Para conjunto y
0 1
q0 y y
q1 x y
q3 y y
q5 x x
q6 y y
q7 x y

- Paso 4 Identificación de estados equivalentes y


no equivalentes.
P ={q2}
q ={q4}
r ={q8}
s ={q0,q3,q6}
t ={q1,q7}
u ={q5}

- Paso 5 Validación de los conjuntos conformados.


s 0 1
q0 s t
q3 s t
q6 t s
De acuerdo a la tabla del conjunto s se concluye
que q0 y q3 son equivalentes pero q6 no, por lo
tanto, el conjunto s se divide en m y n
m ={q0,q3}
n ={q6}
P ={q2}
q ={q4}
r ={q8}
t ={q1,q7}
u ={q5}

t 0 1
q1 p t
q7 r m
De acuerdo a la tabla del conjunto t se concluye
que q1 y q7 no son equivalentes por lo tanto, el
conjunto se divide en a y b y de esta manera
quedan conformados todos los grupos.
a ={q1}
b ={q7}
m ={q0,q3}
n ={q6}
P ={q2}
q ={q4}
r ={q8}
u ={q5}

a 0 1
q1 p a

b 0 1
q7 r m

m 0 1
q0,q3 m a

n 0 1
q6 b m

p 0 1
q2 q u
q 0 1
q4 q r

r 0 1
q8 b q

u 0 1
q5 p r

- Paso 6 Tabla de transiciones


0 1
a p a
b r m
m m a
n b m
p q u
q q r
r b q
u p r
Resultado del
Autómata
minimizado

Notación
formal Quíntupla teniendo en cuenta que es un
autómata finito determinista.

k=(a,b,m,n,p,q,r,u)
Σ=(0,1)
s=m
f=(p,q,r)
δ: {a,b,m,n,p,q,r,u }.
δ(m,0)= m
δ(m,1)= a
δ(n,0)= b
δ(n,1)= m
δ(a,0)= p
δ(a,1)= a
δ(p,0)= q
δ(p,1)= u
δ(q,0)= q
δ(q,1)= r
δ(u,0)= p
δ(u,1)= r
δ(r,0)= b
δ(r,1)= q
δ(b,0)= r
δ(b,1)= m

Lenguaje
Regular

Gramática del
autómata

PREGUNTAS DE VERIFICACIÓN DEL OVI

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


equivalentes quedan:

A. q0, q4, q6

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:

A. B, A

B. Z, N

C. Z, A

D. A, B

BIBLIOGRAFÍA

Guillen Godoy (25 de Marzo de 2010). Autómatas con pila. [Archivo de video]. Recuperado de
https://www.youtube.com/watch?v=Zv80KxbXzK8

También podría gustarte