prednaska

rozdíly v definici automatu

iterační (pumping) lemma pro regulární jazyky

$(\forall L\in\mathcal L_3)(\exists n\in\mathbb N)(\forall w\in L,|w|\geq n):w=xyz$ $(\forall L \in L_{3}) (\exists n \in N) (\forall w \in L, ∣ w ∣ \geq n) : w = x yz$
- $y\neq\epsilon$
- $|xy|\leq n$
- $\forall k\in\mathbb N_0:$ slovo $xy^kz$ je také v $L$
tzn. $w$ lze rozdělit na tři části, kde druhá je neprázdná, první dvě jsou krátké a druhou lze libovolně iterovat
důkaz z principu holubníku (mám delší slovo než je počet stavů → nějaký stav se musí opakovat)

součin automatů

trik, který lze použít pro sestavení automatu pro jazyk s konjunkcí podmínek

Hurá, máš hotovo! 🎉
Pokud ti moje kartičky pomohly, můžeš mi koupit pivo.