Definice: Nechť M = (Q, S, R, s, F) je KA.
Stav q Î Q je dostupný, pokud existuje w Î S*, pro který platí sw |–* q. Jinak q je nedostupný.
s
q1
a
f
Příklad:
q2
a
b
b
Pozn.: Každý nedostupný stav může být odstraněn
Dostupné stavy
Myšlenka: Stav q je dostupný, pokud pro nějaký řetězec „dostane“ DKA z s (počáteční stav) do q.
Stav s   - dostupný: w = e : s |–0 s
Stav q1 - dostupný: w = a :  sa |– q1
Stav f   - dostupný: w = ab: sab |– q1b |– f
Stav q2 - nedostupný (neexistuje žádné w Î S*
takové, že sw |–* q2)
21/44