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

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

\assignment{7}
\exercise{2}
\points{2}
\duedate{14. 11. 2016}

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


\begin{document}
\begin{zadani}
Uvažte následující gramatiku $G$:
\begin{align*}
  G = (&\set{S, A, B}, \set{a, b, c}, P, S) \\
  P = \{ &S \to Bac \mid bAa \mid Aa \mid a, \\
        &A \to aB \mid Abb \mid a, \\
        &B \to bB \mid Aa \mid BBb \mid SAB \}
\end{align*}

\noindent
Pomocí algoritmu z přednášky zkonstruujte ke gramatice $G$ ekvivalentní nelevorekurzivní gramatiku. 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}

\end{document}
