03 Množina cílových stavů
$$
\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}}
$$
# Množina cílových stavů
- $M = (Q, \Sigma, \delta, q_{0}, F)$
- Pro libovolné $a \in \Sigma$ definujeme množinu $Q(a) \subseteq Q$ cílových stavů takto:
- $Q(a) = {q: q \in \delta(p,a), p, q \in Q}$
- Pro jaké přechody se dostanu do jakých stavů
Příklad:
- $Q(a) = {1,3,2}$
- $Q(b) = {1}$
- $Q(c) = {3}$