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

% vim: spell spelllang=cs
% gen: ready

\assignment{10}
\exercise{1}
\points{2}
\duedate{4. 12. 2017}

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


\begin{document}

\begin{zadani}
Uvažte následující gramatiku $G$:
\begin{align*}
  G = (&\set{S, A}, \set{a, b, c}, P, S) \\
  P = \{ &S \to SAa \mid A, \\
        &A \to Sb \mid Aa \mid c\}
\end{align*}
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.

Následně gramatiku převeďte do Greibachové normální formy. Použijte algoritmus z přednášky (nebo dokažte, že je vaše gramatika v GNF ekvivalentní $G$).
\end{zadani}

\begin{reseni}
\end{reseni}

\end{document}

\grid
