03.4 Součin 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}}
$$
# Součin jazyků
Operace, při níž vznikne jazyk, kde slovo se skládá ze 2 částí
- První je řetězec z 1. jazyka
- Druhý je řetězec z 2. jazyka
- Tedy vznikne [zřetězením](notes/bi-aag/01-formalni-jazyk.md#Součin zřetězení jazyků) slov z těchto jazyků
Tam kde jeden automat skončil (koncový stav), musí ten druhý začít
Stačí z každého koncového stavu 1. automatu udělat $\varepsilon$-přechody do počátečního stavu 2. automatu
- Místo $\varepsilon$-přechodů lze sjednotit stavy
