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

% vim: spell spelllang=cs
% gen: ready

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

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


\begin{document}
\begin{zadani}
	Uvažte následující gramatiku $G$:
	\begin{align*}
	G = (&\set{B, M, U}, \set{a, b, c}, P, B) \\
	P = \{ &B \to Ua \mid a, \\
	&M \to Mc \mid bac, \\
	&U \to UMa \mid BUM \mid BaM \}
	\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}
%%% SEM PISTE SVE RESENI
\end{reseni}

\end{document}
