a
s
a
b
a
q1
q3
Elipsa: f
f
Elipsa: q2
q2
Elipsa: q4
q4
a
a
a
b
b
b
b
b
Qm= {{s,f}, {q1,q2,q3,q4}}
Final States
Other States
 1) X = {s,f}:
sa ®  f
fa ®  s
d = a:
Division: {q1,q2,q3,q4} Þ
Minimization: Example 1/4
Í Q1 = {s, f}
{q1,q2} Ç Q1 = Æ
From one set
From one set
q1a ®  q1
 2) X = {q1,q2,q3,q4}:
q2a ®  q2
q3a ®  q4
q4a ®  q3
d = a:
q2b ®  f
q3b ®  q1
q4b ®  q2
q1b ®  s
d = b:
sb ®  q3
fb ®  q4
d = b:
From one set
{q1,q2},
X1
{q3,q4}
X2
40/44