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

% vim: spell spelllang=cs

\assignment{12}
\exercise{2}
\points{0,5}
\duedate{13. 5. 2024 12:00}

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


\begin{document}
\begin{zadani}
    Mějme zadanou abecedu $\Sigma = \set{a, b, c}$ a jazyk $$L = \{ w \in \Sigma^* \mid \#_c(w) > 0 \land \#_c(w)\ |\ \#_a(w) \}.$$

    \medskip
    \noindent
    Příklady slov, která patří do jazyka $L$: $ac$, $caba$, $bcaabacabaacb$, $aaabaaabbbccc$, $ccbb$.\\
    Příklady slov, která nepatří do jazyka $L$: $\varepsilon$, $ccbaaa$, $bab$, $cccbaba$, $accbacc$.

    \medskip
    \noindent
    Sestrojte deterministický lineárně ohraničený automat (LBA) akceptující jazyk $L$.\\
    Nejdříve slovně popište fungování LBA včetně popisu funkcionality jednotlivých stavů, poté ho zadefinujte i formálně. Váš LBA může mít nanejvýš \textbf{18} stavů (včetně stavů accept a reject).
    \textit{Poznámka: Pokud píšete řešení v \TeX u a nevejde se vám na stránku, před odevzdáním prosím odmažte zadání. }
\end{zadani}

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

\end{document}
