\documentclass[12pt]{ib102}
\usepackage[czech]{babel}

\setassignment{2}
\setexercise{2}
\setduedate{29}{9}{2014}
\setpoints{2}

%%% ZDE NAPISTE SVOJE UCO, JMENO A SKUPINU
\setstudent{}
\setgroup{}
\setuco{}


\begin{document}
\begin{zadani}

\smallskip\noindent
a) [1 bod] Uvažte abecedu $\Sigma = \set{ a, b }$ a gramatiku $G$
generující jazyk nad touto abecedou definovanou následovně:

\vspace{-\bigskipamount}
\begin{align*}
    G = (&\set{ S, A, B }, \Sigma, P, S) \\
P = \{ & S \move \eps \mid a \mid aA \mid b \mid bB, \\
       & A \move a \mid aA \mid b \mid bB, \\
       & B \move b \mid bB \}
\end{align*}

\noindent
Jazyk $L = L(G)$ generovaný touto gramatikou popište pomocí
libovolných konečných jazyků a operací sjednocení, průnik, zřetězení,
iterace, pozitivní iterace a doplněk.

\smallskip
\noindent
\textit{Rada:} čím jednodušeji si jazyk $L$ zapíšete, tím snáze se vám bude
řešit část (b).

\bigskip\noindent
b) [1 bod] Vytvořte regulární gramatiku $\overline{G}$ generující doplněk jazyka
$L$, tedy $L(\overline{G}) = \co{L}$. Zapište ji včetně všech
formálních náležitostí.
\end{zadani}

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

\end{document}
