02 Typy stavů (dosažitelný, užitečný, zbytečný)
$$
\require{mathtools}
\DeclarePairedDelimiter\ceil{\lceil}{\rceil}
\DeclarePairedDelimiter\floor{\lfloor}{\rfloor}
\newcommand{\dv}[1]{\frac{\mathrm{d}}{\mathrm{d} #1}}
\newcommand{\dvv}[2]{\frac{\mathrm{d} #1}{\mathrm{d} #2}}
$$
# Dosažitelný stav
Mějme konečný automat $M = (Q, \Sigma, \delta, q_{0,}F)$
Stav $q \in Q$ nazveme dosažitelný, pokud existuje řetězec $w \in \Sigma^*$ takový, že existuje posloupnost přechodů, která veze z počátečního stavu $q_0$ do stavu $q$
Stav, který není dosažitelný, nazveme nedosažitelný
Když z automatu odstraníme nedosažitelné stavy, bude stejně pořád přijímat stejný jazyk
Zjistíme je iterací od začátku do konce
# Užitečný / zbytečný stav
- Zjistíme je iterací od konce do začátku