MINIMIZACIN DE AUTMATAS

AUTMATA FINITO DETERMINISTA

El trmino determinista hace referencia al hecho de
que para cada entrada slo existe uno y slo un estado
al que el autmata puede hacer la transicin a partir de
su estado actual

Cada estado cumple

una sola condicin
que solo puede estar
en un nico estado
despus de leer
cualquier secuencia
de entradas

Salen de este
estado un cero y un
uno, lo cual significa
que va por 0 o va
por 1

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 funcin : { q0, q1, q2 , q3, q4 , q5, q6 , q7} {0,
1} { q0, q1, q2 , q3, q4 , q5, q6 , q7} viene dada por:
(q0, 0) = q1
(q0, 1) = q5
(q1, 0) = q6
(q1, 1) = q2
(q2, 0) = q0
(q2, 1) = q2
(q3, 0) = q2
(q3, 1) = q6

(q4, 0) = q7
(q4, 1) = q5
(q5, 0) = q2
(q5, 1) = q6
(q6, 0) = q6
(q6, 1) = q4
(q7, 0) = q6
(q7, 1) = q2

CONJUNTOS
Conjuntos
Aceptadores

X = {q2}
Y = {q0, q1, q3, q4, q5, q6 q7}
No
Aceptadores

MINIMIZACIN AFD
Validando informacin del conjunto X

Valida
valores de q2

X = {q2}

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

= {0,1}

q0 se
encuentra en
el conjunto Y
q2
Valida q2 en
la transicin
0 = q0

El mismo proceso se realiza con el

estado q2 con la transicin 1, entonces:
q2,1=q2 y q2 se encuentra en el
conjunto X

MINIMIZACIN AFD
Validando informacin del conjunto Y
X = {q2}
Y = {q0, q1, q3, q4, q5, q6 q7}

q1, q7
Son
quivalentes

Se generan 3
conjuntos

q3, q5
Son
quivalentes

q0

q1

q3

q4

q5

q6

q7

q0, q4, q6
Son
quivalentes

MINIMIZACIN AFD
Generando Nuevos Conjuntos
X = {q2}

Z = {q1, q7}

M = {q0, q4, q6}

N = {q3, q5}

Validando conjunto M

Se generan 2
conjuntos

q6, NO
es
quivalente

q0

q4

q6

q0, q4
Son
quivalentes

MINIMIZACIN AFD
Validando Conjuntos
X = {q2}

Z = {q1, q7}

M = {q0, q4, q6}

N = {q3, q5}

Validando conjunto Z
0

q1

q7

q1, q7
Son
quivalentes

MINIMIZACIN AFD
Validando Conjuntos
X = {q2}

Z = {q1, q7}

M = {q0, q4, q6}

N = {q3, q5}

Validando conjunto N
0

q3

q5

q3, q5
Son
quivalentes

MINIMIZACIN AFD
EN CONCLUSIN AL VALIDAR LOS CONJUNTOS

Validando conjunto X
q2

X = {q2}

Z = {q1, q7}

M = {q0, q4, q6}

N = {q3, q5}

Validando conjunto M

q6, NO
es
quivalente

q0

q4

q6

Se generan
dos conjuntos
q0, q4
Son
quivalentes

Validando conjunto Z
0

q1

q7

q1, q7
Son
quivalentes

Validando conjunto N
0

q3

q5

q3, q5
Son
quivalentes

MINIMIZACIN AFD
DESAPARECE M Y SE CREAN DOS CONJUNTOS

Generando Nuevos Conjuntos

Validando conjunto X
q2

X = {q2}

Z = {q1, q7}

N = {q3, q5}

A = {q0, q4}

B = {q6}

Validando conjunto A
0

q0

q4

Validando conjunto Z
0

q1

q7

Nota: Al generar nuevos conjuntos se

vuelve a validar todos los conjuntos

Validando conjunto B
q0, q4
Son
quivalentes

q6

q1, q7
Son
quivalentes

Validando conjunto N
0

q3

q5

q3, q5
Son
quivalentes

AUTMATA MINIMIZADO

Graficando el autmata

Creando nueva tabla de transicin

0
0

# X
B

B
1

0
A