\documentclass[12pt]{ib102}
\usepackage[czech]{babel}
\newcommand{\co}{\textsf{co-}}

\setassignment{6}
\setexercise{2}
\setduedate{4}{11}{2013}
\setpoints{2}

%%% ZDE NAPISTE SVOJE UCO, JMENO A SKUPINU
\setstudent{James Bond}
\setgroup{MI6}
\setuco{007}


\begin{document}
\begin{zadani}
    Nechť $\Sigma = \set{a,b}$. 
    Napište algoritmus, který pro zadanou bezkontextovou gramatiku
    $G=(N,\Sigma,P,S)$ rozhodne, zda jazyk generovaný touto gramatikou
    obsahuje alespoň $1$ slovo ve tvaru $x^n$ pro nějaké $x \in \Sigma$ 
    a $n > 0$.

    Tedy algoritmus rozhodne, zda gramatika generuje alespoň jedno slovo
    délky alespoň 1 skládající se pouze z~$a$-ček, nebo pouze z~$b$-ček.

    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}
