5-tupla (K, , , S, F)

M=[qo,q1,q2,q3,q4,q5,q6,q7,q8], [a,b]

, q0, [q2]

K=[q1, q1, q2, q3, q4, q5, q6, q7,q8] estados

=[a,b] Alfabeto

S= q0 estado inicial

F= q2 estado final

= (q0, a)=q1

= (q0, b)=q2

= (q1, a)=q2

= (q2, a)=q0

= (q2, b)=q2

= (q3, a)=q2

= (q3, b)=q3

= (q4, a)=q2

= (q4, b)=q5

= (q5, a)=q2

= (q5, b)=q6
 = (q6, a)=q6

= (q6, b)=q1

= (q7, a)=q8

= (q7, b)=q4

= (q8, a)=q8

= (q8, b)=q6

X= [q2] aceptadores

Y= [q0, q1, q2, q3, q4, q5, q6, q7, q8] No aceptadores

O 1
q2 Y x

O 1
q0 y X
q1 X
q3 X q0, q4, q6,q7
q4 X Y
q5 X Y
q6 y Y
q7 y Y
q8 y y
q3, q5 equivalente

q1, q8

Equivalentes

X= [q2]

M = [q0, q4, q6, q8]

Z = [q1, q7]

N= [q3, q5]

M 0 1
q0 Z M
q0, q4 equivalentes
q4 M N
q6 M Z
q8 M M No equivalente
 Z 0 1
q1 X
q1, q7 equivalentes
q7 M M

N 0 1
q3 M X
q5 X N

X 0 1
q2 N X

X= [q2]

Z= [q1, q7]

N= [q3, q5]

A= [q0, q4]

B= [q6, q8]

X 0 1
q2 N X

Z 0 1
q1 X
q1, q7 equivalente.
q7 A B

N 0 1
q3 A X
q5 X B

A 0 1
q0 Z X
q5 X N

B 0 1
q6 Z B
q8 B B
TABLA

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

0
N
A
0 A

1
X
0 N
1
A 1 B

Z A
0
A