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

M ={ q0, q1, q2 , q3, q4, q5, q6, q7, q8} , {0, 1} , δ, q0, {q2, q4, q8})
K ={q0, q1, q2 , q3, q4 , q5, q6 , q7; q8} (Estados)
Σ {0, 1} (Alfabeto)
s=q0 (Estado Inicial)
F = q2, q4, q8 (Estado Final)
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) = q3 δ(q5, 0) = q2
δ(q0, 1) = q1 δ(q5, 1) = q8
δ(q1, 0) = q2 δ(q6, 0) = q7
δ(q1, 1) = q1 δ(q6, 1) = q3
δ(q2, 0) = q4 δ(q7, 0) = q8
δ(q2, 1) = q5 δ(q7, 1) = q3
δ(q3, 0) = q0 δ(q8, 0) = q7
δ(q3, 1) = q1 δ(q8, 1) = q4
δ(q4, 0) = q4
δ(q4, 1) = q8
Conjuntos
X= {q2, q4,q8} Aceptador
Y= {q0, q1, q3, q5, q6 q7} No Aceptador

Validando información del Conjunto X

0 1
q2 X Y
q4 X X
q8 Y X
No existen conjuntos equivalente

Validando información del Conjunto Y

0 1
q0 Y Y
q1 X Y
q3 Y Y
q5 X X
q6 Y Y
q7 X Y

Conjuntos Equivalente {q0, q3, q6}, {q1, q7}, {q5}

Generación de nuevos Conjuntos

A= {q2}

B= {q4}
C= {q8}
D= {q0, q3, q6}
E= {q1, q7}

F= {q5}

Validando Conjunto D
D= {q0, q3, q6}

0 1
q0 D E
q3 D E
q6 E D

Conjunto equivalente {q0, q3}

No equivalente {q6}

Validando Conjunto E

E= {q1, q7}

0 1
q1 A E
q7 C D

No equivalente {q1}

No equivalente {q7}

Generación de nuevos Conjuntos 2

A= {q2}

B= {q4,}
C= {q8}
G= {q0}

H={q6}
I= {q3}

J= {q1}

K= {q7}

F= {q5}
 0 1
#A B F
#B B C
#C K B
F A C
→G I J
H K I
I G J
J A J
K C I