Autómatas y Lenguajes Formales

Presentado a:

Edgar Antonio Cortes

Presentado por:

Nestor Andres Castro Rojas

Grupo:
301405_105

Universidad Nacional Abierta y a Distancia

Escuela de Ciencias Básicas de Tecnología e Ingeniería
2020
EJERCICIO A
TRABAJAR

Procedimiento de
minimización
ESTADOS ACEPTADORES SE DENOTA X
{Q3, Q5, Q7}
ESTADOS NO ACEPTADORES SE DENOTA Y
{Q0, Q1, Q2, Q4, Q6, Q8, Q9}

DEBIDO A SU EQUIVALENCIA QUEDAN LOS

SIGUIENTES GRUPOS

A{Q0, Q1, Q4, Q6, Q8}

B{Q2, Q9}
C{Q3, Q7}
D{Q5}

COMO NO SE LOGRO LA EQUIVALENCIA

DESINTEGRAMOS EL CONJUNTO A Y FORMAMOS
LOS GRUPOS E,F
 B{Q2,Q9}
#C{Q3,Q7}
#D{Q5}
E{Q0,Q6}
F{Q1,Q4,Q8}

COMO TODOS SON EQUIVALENTES SE ARMA EL

NUEVO AUTOMATA

Resultado del
Autómata minimizado

Notación formal del tupla (K, Σ, δ, s, F)

autómata minimizado donde:
 M = { E,B,C,D, F} , {1, 2} , δ, E, {C,D})
K ={ E,B,C,D, F } (Estados)
Σ {0, 1} (Alfabeto)
s = E (Estado Inicial)
F = C,D (Estado Final)

tabla de transición:

Donde la función δ : { E,B,C,D,F} × {1, 2} → { E,B,C,D,F }

viene dada por:

δ = {E, 1} = B
δ = {E, 2 } = F
δ = {B, 1 } = C
δ = {B, 2 } = D
δ = {D, 1 } = C
δ = {D, 2 } = E
δ = {C, 1 } = F
δ = {C, 2 } = F
δ = {F, 1 } = E
δ = {F, 2 } = B

Caracterización del
autómata parte teórica
Lenguaje Regular
Gramática del
autómata
Validación de cadenas
Practicar y verificar lo
aprendido