b
a
q
2
a
q
3
a
,
b
q
1
s
b
Rozlišitelné
Stav
y
: Příklad
•
s
a
q
1
jsou
rozlišitelné
, protože např. pro
w
=
a
:
s
a
|–
s
,
s
Ï
F
q
1
a
|–
q
2
,
q
2
Î
F
a
,
b
•
q
2
a
q
3
jsou
nerozlišitelné
, protože
pro
každé
w
Î
S
*
:
q
2
w
|–
*
q
2
,
q
2
Î
F
q
3
w
|–
*
q
3
,
q
3
Î
F
•
Ostatní dvojice stavů jsou triviálně
rozlišitelné
pro
w
=
e
.
37
/44