b
a
q
2
a
q
3
a
,
b
q
1
s
b
Distinguishable States: Example
•
s
and
q
1
are
distinguishable
, because for
w
=
a
:
s
a
|–
s
,
s
Ï
F
q
1
a
|–
q
2
,
q
2
Î
F
a
,
b
•
q
2
and
q
3
are
indistinguishable
,
because
for
each
w
Î
S
*
:
q
2
w
|–
*
q
2
,
q
2
Î
F
q
3
w
|–
*
q
3
,
q
3
Î
F
•
Other pairs of states are trivially
distinguishable
for
w
=
e
.
37
/44