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

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

\assignment{7}
\exercise{1}
\points{2}
\duedate{6. 11. 2017}

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


\begin{document}
\begin{zadani}
    Nechť $\Sigma = \set{a,b}$.
    Napište algoritmus, který pro zadanou regulární gramatiku
    $G=(N,\Sigma,P,S)$ a slovo $u \in \Sigma^+$ rozhodne, zda existuje
    slovo $w \in L(G)$ takové, že $u$ je podslovem $w$. Tedy algoritmus rozhodne, zda gramatika generuje alespoň jedno slovo
    tvaru $xuy$, kde $x,y \in \Sigma^*$.

    \bigskip
    \noindent
    Popište princip fungování vašeho algoritmu a dokažte, že je tento
    algoritmus konvergentní (vždy skončí). Můžete využívat libovolné algoritmy z~přednášky, musíte na to však
    upozornit v~textu.
\end{zadani}

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

\end{document}
