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

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

\assignment{4}
\exercise{2}
\points{2}
\duedate{15. 10. 2018}

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


\begin{document}
\begin{zadani}
Mějme abecedu $\Sigma = \set{a,b}$. Rozhodněte, zda je jazyk
\begin{align*}
    L = \{ w \in \set{a,b}^* \mid~&\text{vzdálenosti mezi každými dvěma po sobě bezprostředně následujícími } b \text{ ve } \\
                                  &\text{slově } w \text{ jsou všechny vzájemně různé} \}
\end{align*}
regulární a své tvrzení dokažte.  Tedy pokud se podle vás 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{Myhillovy-Nerodovy věty}.
\end{zadani}

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

\end{document}
