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

% vim: spell spelllang=cs
% gen: ready

\assignment{11}
\exercise{1}
\points{2}
\duedate{10. 12. 2018}

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


\begin{document}
\begin{zadani}
  Uvažme následující jazyk nad abecedou $\Sigma = \set{a,b,?}$:
\[ L = \set{ u?v^R \mid u \in \set{a,b}^*, v = \texttt{zkrat}(u) }, \]
kde $\texttt{zkrat}$ je funkce, která v daném slově nahradí každou maximální sekvenci všech bezprostředně po sobě následujících znaků $a$ jedním znakem $a$ a každou maximální sekvenci všech bezprostředně po sobě následujících znaků $b$ jedním znakem $b$.
Tedy například $\texttt{zkrat}(aab) = ab$, $\texttt{zkrat}(baaaabba) = baba$, $\texttt{zkrat}(aabbbbaaabbbabb) = ababab$ nebo $\texttt{zkrat}(\eps) = \eps$. 

Sestrojte (obyčejný, nikoli rozšířený) nedeterministický zásobníkový automat
akceptující jazyk $L$. Jasně uveďte, jakým způsobem váš automat akceptuje.
\end{zadani}

\begin{reseni}
\end{reseni}

\end{document}
