UNIVERSIDAD NACIONAL ABIERTA Y A DISTANCIA UNAD

ESCUELA DE CIENCIAS BASICAS, TECNOLOGIA E INGENIERIA

Curso: Autmatas y Lenguajes Formales Cdigo: 301405A

UNIVERSIDAD NACIONAL ABIERTA Y A DISTANCIA UNAD

ESCUELA DE CIENCIAS BASICAS, TECNOLOGIA E INGENIERIA

AUTOMATAS Y LENGUAJES FORMALES

UNIDAD 1,2,3

CURSO
301405A_91

NESTOR ALBERTO TIEMPOS GOMEZ

TUTOR
EDGAR ANTONIO CORTES

DICIEMBRE 7 DE 2017
 UNIVERSIDAD NACIONAL ABIERTA Y A DISTANCIA UNAD
ESCUELA DE CIENCIAS BASICAS, TECNOLOGIA E INGENIERIA
Curso: Autmatas y Lenguajes Formales Cdigo: 301405A

Ejercicio 3: Realice la minimizacin paso a paso del autmata finito determinista.

- Estados del autmata: q0, q1, q2, q3, q4, q5, q6, q7
- (a, b, c)
- S = q0 F = q2, q3, q4, q5, q6
- Tabla de transicin:

TABLA DE TRANSICIN DE ESTADOS

ENTRADA
ESTADO
a b c
q0 q1 q0 q2
q1 q2 q0 -
q2 q3 - q0
q3 q4 q2 -
q4 q1 q2 q5
q5 q6 q2 -
q6 q7 q2 q5
q7 q2 q0 -

Ahora procedemos dividir los estados actuales en dos conjuntos:

- Estados aceptadores o estados finales: = {q2, q3, q4, q5, q6}

- Estados no aceptadores; = {q0, q1, q7}

 UNIVERSIDAD NACIONAL ABIERTA Y A DISTANCIA UNAD
ESCUELA DE CIENCIAS BASICAS, TECNOLOGIA E INGENIERIA
Curso: Autmatas y Lenguajes Formales Cdigo: 301405A

Identificamos equivalencias para estados aceptados:

TABLA DE EQUIVALENCIAS
a b c
q2 q3 - q0
q3 q4 q2 -
q4 q1 q2 q5
q5 q6 q2 -
q6 q7 q2 q5
No equivalentes

Identificamos equivalencias para estados aceptados:

TABLA DE EQUIVALENCIAS
a b c
q0 q1 q0 q2
q1 q2 q0 -
q7 q2 q0 -
q1 q7 Son Equivalentes

Nuevos conjuntos con los estados que sean equivalentes, por tanto nos quedara as:

= { q1, q7} , D= {q2}, E= {q3} = {q4}, = {q5}, = {q6}, = {q0}

TABLA DE EQUIVALENCIAS
C a b c
q1 q2 q0 -
q7 q2 q0 -

TABLA DE EQUIVALENCIAS
D a b c
q2 q3 - q0

TABLA DE EQUIVALENCIAS
E a b c
q3 q4 q2 -
 UNIVERSIDAD NACIONAL ABIERTA Y A DISTANCIA UNAD
ESCUELA DE CIENCIAS BASICAS, TECNOLOGIA E INGENIERIA
Curso: Autmatas y Lenguajes Formales Cdigo: 301405A

TABLA DE EQUIVALENCIAS
F a b c
q4 q1 q2 q5

TABLA DE EQUIVALENCIAS
G a b c
q5 q6 q2 -

TABLA DE EQUIVALENCIAS
H a b c
q6 q7 q2 q5

TABLA DE EQUIVALENCIAS
I a b c
q0 q1 q0 q2

Nueva Tabla de transicin:

TABLA DE TRANSICIN DE ESTADOS

ENTRADA
ESTADO
a b c
C q2 q0 -
D q3 - q0
E q4 q2 -
F q1 q2 q5
G q6 q2 -
H q7 q2 q5
I q1 q0 q2

El nuevo AFD minimizado, determinamos los estados iniciales y finales, teniendo en cuenta
que el conjunto que tiene a q0 es el inicial y los conjuntos que tengan a los estados =
{q2, q3, q4, q5, q6} son los estados finales:
 UNIVERSIDAD NACIONAL ABIERTA Y A DISTANCIA UNAD
ESCUELA DE CIENCIAS BASICAS, TECNOLOGIA E INGENIERIA
Curso: Autmatas y Lenguajes Formales Cdigo: 301405A

Verificamos que los Autmatas sean equivalentes, para lo cual deben aceptar y rechazar las

mismas cadenas ingresadas