03.1 Sjednocení jazyků
$$
\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}}
$$
# Sjednocení jazyků
- Mějme
- $M_{1}: L(M_1)$
- $M_{2}:L(M_{2})$
- Chci vytvořit automat, který tvoří sjednocení těchto jazyků $L(M_{1}) \cup L(M_{2})$
- Stačí vytvořit nový automat, který ze svého počátečního stavu přejde $\varepsilon$ přechodem do počátečního stavu $M_1$ a do počátečního stavu $M_{2}$ (je to teda NKA)
- Stačí, aby na konci byl alespoň jeden automat v koncovém stavu
