EJERCICIO 3

ACTIVIDAD COLABORATIVA
FASE 5

JOHANNES EDUARDO ROJAS AGUIRRE

COD: 7185498

GRUPO No 301405_60

TUTORA: JHEIMER JULIAN SEPULVEDA

UNIVERSIDAD NACIONAL ABIERTA Y A DISTANCIA

ESCUELA DE CIENCIAS BÁSICAS, TECNOLOGÍA E INGENIERÍA

INGENIERÍA DE SISTEMAS

AUTOMATAS

2019
 EJERCICIOS DE LA FASE 2
ACTIVIDAD 2 COLABORATIVA

Actividad :

Teniendo en cuenta el siguiente autómata realice:

Ejercicio 3: Realice la minimización paso a paso del autómata finito Determinista

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

EJERCICIO A Registre aquí el Ejercicio a trabajar. Por favor agregue

TRABAJAR la imagen

Procedimiento Realice de manera detallada el procedimiento paso a

de paso de la minimización del autómata.
minimización
- Paso 1. Identificar el tipo de Autómata.

Este es un autómata finito determinístico, debido a que

para cada transición se llega a un estado diferente

- Paso 2. Verificar los estados inaccesibles de

Autómata.

Tenemos que el estado q2 y q5 son inaccesibles por tal,

los eliminamos, Nos queda:
- Paso 3. Identificar los elementos del autómata
que son los siguiente:

K (estados)= {q0, q1, q3}

s (estado inicial) = {q0}
F (estados finales) = {q6, q4}
Σ (alfabeto) = {0,1}

- Paso 4. Identificamos la quíntupla 5-tupla (K, Σ,

δ, s, F)

M = { q0, q1, q3, q4 , q6} , {0, 1} , δ, q0, { q4, q6}

K ={q0, q1, q3} (Estados)

Σ {0, 1} (Alfabeto)
s = q0 (Estado Inicial)
F = q4, q6 (Estado Final)

Paso 5. Identificamos cada una de las

transiciones

δ(q0, 0) = q3
δ(q0, 1) = q6
δ(q1, 0) = q0
δ(q1, 1) = q6
δ(q3, 0) = q4
δ(q3, 1) = q3

Paso 6. Hacemos dos conjuntos con los estados

aceptados y no aceptados

X = {q4, q6} Aceptadores

Y = {q0, q1, q3 } No aceptadores

- Paso 7. Validamos la información del conjunto

con cada una de las transiciones en los estados
aceptadores (validando información del conjunto
x)
No son equivalentes nos queda los siguientes
subconjuntos

X1 = {q4} ; X2 = { q6 }

- Paso 8. Validamos la información del conjunto

con cada una de las transiciones en los estados
no aceptadores (validando información del
conjunto y)

Con cada una de las transiciones en los estados no

aceptadores (validando información del conjunto y)

Y 0 1
q0 y q1 son q0 Y X
equivalentes q1 Y X
q3 X Y

Paso 9. Generamos nuevos conjuntos según la

equivalencia y no equivalencia del cuadro anterior

M = {q0, q1}
N = {q3}
X1 = {q4}
X2 = {q6}

Validamos el conjunto M

M 0 1
q0 N X2 q0 y q1 no son
q1 M X2 equivalentes
 Los conjuntos equivalentes nos quedan:

N = {q3}
O = {q0}
P = {q1}
X1 = {q4}
X2 = {q6}

Paso 10. Creamos una nueva tabla de transición

0 1
O N X2
# X1 NULL NULL
# X2 NULL NULL
P O X2
N X1 N

Resultado del
Autómata
minimizado