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ý.
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)