b
a
q2
a
Elipsa: q3
q3
a, b
q1
s
b
Rozlišitelné Stavy: Příklad
• s a q1 jsou rozlišitelné, protože např. pro w = a:
  sa |–  s  , s   Ï F
q1a |– q2 , q2 Î F
a, b
• q2 a q3 jsou nerozlišitelné, protože pro každé w Î S*:
q2w |–*  q2, q2 Î F  
q3w |–*  q3, q3 Î F  
• Ostatní dvojice stavů jsou triviálně rozlišitelné pro w = e.
37/44