Documente Academic
Documente Profesional
Documente Cultură
CURSO
301405A_91
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
- 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 EQUIVALENCIAS
a b c
q2 q3 - q0
q3 q4 q2 -
q4 q1 q2 q5
q5 q6 q2 -
q6 q7 q2 q5
No equivalentes
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:
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
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