\documentclass{ib102}
\usepackage[shorthands=off,czech]{babel}

% vim: fo+=t tw=80 spell spelllang=cs
% gen: ready

\assignment{3}
\exercise{1}
\points{2}
\duedate{9. 10. 2017}

%%% ZDE NAPISTE SVOJE UCO A JMENO
\name{}
\uco{}


\begin{document}
\begin{zadani}
Mějme abecedu $\Sigma = \set{a,b}$.
Rozhodněte, zda je jazyk
\[ L = \{ b a^x b a^y b \mid x,y \in \mathbb{N}_0, x \leq y \} \]
regulární. Své tvrzení dokažte. Tedy je-li vaše odpověď, že se jedná o~regulární jazyk, uveďte příslušnou regulární gramatiku nebo konečný automat včetně všech formálních náležitostí. Pokud se podle vás naopak o~regulární jazyk nejedná, dokažte tuto skutečnost pomocí \emph{Lemmatu o~vkládání} (Pumping lemma).
\end{zadani}

\begin{reseni}
%%% SEM PISTE SVE RESENI
\end{reseni}

\end{document}
