02 KA s více počátečními stavy
$$
\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}}
$$
# Konečné automaty s více počátečními stavy
- Nedeterministický konečný automat s množinou počátečních stavů $I$ je pětice
- $M = (Q, \Sigma, \delta, I, F)$ kde
- $Q, \Sigma, \delta, F$ - stejná jako v definici NKA
- $I$ - neprázdná podmnožina množiny stavů, $I \subseteq Q$
- Posloupnost přechodů může začít v libovolném stavu $q \in I$
Převod na NKA s jedním počátečním stavem
- Vytvořím nový NKA s novým počátečním stavem, z něj půjdou přechody do původních počátečních stavů
