b
a
q2
a
Elipsa: q3
q3
a, b
q1
s
b
Distinguishable States: Example
• s and q1 are distinguishable, because for w = a:
  sa |–  s  , s   Ï F
q1a |– q2 , q2 Î F
a, b
• q2 and q3 are indistinguishable, because for each w Î S*:
q2w |–*  q2, q2 Î F  
q3w |–*  q3, q3 Î F  
• Other pairs of states are trivially distinguishable for w = e.
37/44