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

\setassignment{7}
\setexercise{2}
\setduedate{10}{11}{2014}
\setpoints{2}

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


\begin{document}
\begin{zadani}
Uvažte následující gramatiku $G$:
\begin{alignat*}{3}
  G &= (\set{&&S, A, B}, \set{a, b}, P, S), \\
  P &= \{ &&S \to Bb \mid Aa, \\
  &	 &&A \to Sb \mid a \mid Bb \mid aA, \\
  &	 &&B \to BA \mid Aa \mid b \}.
\end{alignat*}

\noindent
Pomocí algoritmu z přednášky zkonstruujte ke gramatice $G$ ekvivalentní nelevorekurzivní gramatiku bez $\varepsilon$-pravidel. Uveďte, jaké uspořádání neterminálů jste zvolili při odstraňování nepřímé levé rekurze a rovněž celý postup převodu. Nezapomeňte stručně zdůvodnit, proč gramatika $G$ splňuje vstupní podmínku uvedeného algoritmu.
\end{zadani}


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

\end{document}
