03.5 Iterace jazyka
$$
\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}}
$$
# Iterace jazyka
- Mějme automat
- Pro iteraci:
- Potřebuji přijímat $\varepsilon$, takže počáteční stav musí být koncový - přidám nový počáteční stav před původní počáteční
- Zároveň z každého koncového stavu přidám $\varepsilon$-hranu do počátečního
Pozor!
- Jeden počáteční stav nestačí, potřebujeme vytvořit nový (před původním počátečním)
- V případě že by např. vedl přechod ze stavu $0$ do stavu $1$, tak bychom změnou $0$ na koncový změnili fungování automatu
# Iterace jazyka bez $\varepsilon$ přechodů
- K novému počátečnímu stavu přidám hrany, které vedou z původního počátečního stavu
- Když vede hrana do koncového stavu, tak ta samá povede i do nového počátečního stavu
