MINIMIZACIÓN DE AUTÓMATAS

AUTÓMATA FINITO DETERMINISTA

El término «determinista» hace referencia al hecho de Salen de este

que para cada entrada sólo existe uno y sólo un estado
al que el autómata puede hacer la transición a partir de estado un cero y un
su estado actual uno, lo cual significa
que va por 0 o va
por 1

Cada estado cumple

una sola condición
que solo puede estar
en un único estado
después de leer
cualquier secuencia
de entradas
 QUINTUPLA

5-tupla (K, Σ, δ, s, F)
donde:

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

q0, {q2})
K ={q0, q1, q2 , q3, q4 , q5, q6 , q7} (Estados)
Σ {0, 1} (Alfabeto)
s = q0 (Estado Inicial)
F = q2 (Estado Final)

Estado final
Alfabeto

Estado Inicial
TRANSICIONES

Donde la función δ : { q0, q1, q2 , q3, q4 , q5, q6 , q7} × {0,

1} → { q0, q1, q2 , q3, q4 , q5, q6 , q7} viene dada por:

δ(q0, 0) = q1 δ(q4, 0) = q7
δ(q0, 1) = q5 δ(q4, 1) = q5
δ(q1, 0) = q6 δ(q5, 0) = q2
δ(q1, 1) = q2 δ(q5, 1) = q6
δ(q2, 0) = q0 δ(q6, 0) = q6
δ(q2, 1) = q2 δ(q6, 1) = q4
δ(q3, 0) = q2 δ(q7, 0) = q6
δ(q3, 1) = q6 δ(q7, 1) = q2
CONJUNTOS

Conjuntos

Aceptadores
X = {q2}

Y = {q0, q1, q3, q4, q5, q6 q7}

No
Aceptadores
 MINIMIZACIÓN AFD

Validando información del conjunto X

Valida
X = {q2} valores de q2

Y = {q0, q1, q3, q4, q5, q6 q7}

∑ = {0,1}
q0 se
encuentra en
el conjunto Y
0 1
q2 Y X
Valida q2 en
la transición El mismo proceso se realiza con el
0 = q0 estado q2 con la transición 1, entonces:
q2,1=q2 y q2 se encuentra en el
conjunto X
 MINIMIZACIÓN AFD

Validando información del conjunto Y

X = {q2}

Y = {q0, q1, q3, q4, q5, q6 q7}

0 1
q1, q7 q0 Y Y
Son
q1 Y X
équivalentes
q3 X Y q0, q4, q6
Son
q3, q5 q4 Y Y équivalentes
Se generan 3 Son q5 X Y
conjuntos équivalentes q6 Y Y
q7 Y X
 MINIMIZACIÓN AFD

Generando Nuevos Conjuntos

X = {q2} Z = {q1, q7}
M = {q0, q4, q6} N = {q3, q5}

Validando conjunto M

0 1
q0 Z N q0, q4
q4 Z N Son
q6, NO équivalentes
es q6 M M
Se generan 2
équivalente
conjuntos
MINIMIZACIÓN AFD

Validando Conjuntos
X = {q2} Z = {q1, q7}
M = {q0, q4, q6} N = {q3, q5}

Validando conjunto Z

0 1
q1 M X q1, q7
q7 M X Son
équivalentes
MINIMIZACIÓN AFD

Validando Conjuntos
X = {q2} Z = {q1, q7}
M = {q0, q4, q6} N = {q3, q5}

Validando conjunto N

0 1
q3 X M q3, q5
q5 X M Son
équivalentes
 MINIMIZACIÓN AFD
EN CONCLUSIÓN AL VALIDAR LOS CONJUNTOS

X = {q2} Z = {q1, q7} Validando conjunto Z

Validando conjunto X M = {q0, q4, q6} N = {q3, q5}
0 1
0 1
q1 M X
q2 M X q1, q7
q7 M X
Son
équivalentes
Validando conjunto M Se generan
dos conjuntos Validando conjunto N
0 1
0 1
q0 Z N q0, q4
Son q3 X M q3, q5
q4 Z N
q6, NO équivalentes q5 X M Son
es q6 M M équivalentes
équivalente
 MINIMIZACIÓN AFD
DESAPARECE M Y SE CREAN DOS CONJUNTOS

Generando Nuevos Conjuntos

Validando conjunto X X = {q2} Z = {q1, q7} Validando conjunto Z
0 1 A = {q0, q4} N = {q3, q5} 0 1
q2 A X B = {q6} q1 B X
q1, q7
q7 B X
Son
Nota: Al generar nuevos conjuntos se
Validando conjunto A vuelve a validar todos los conjuntos
équivalentes

0 1 Validando conjunto B Validando conjunto N

q0 Z N q0, q4 0 1
0 1
q4 Z N Son q3 X B q3, q5
équivalentes q6 B A
q5 X B Son
équivalentes
 AUTÓMATA MINIMIZADO

Creando nueva tabla de transición Graficando el autómata

0
0 1 0 Z
B
A Z N
1
# X A X 0
B B A
1 A 1
Z B X
N X B 1 0

0
N X 1