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

% vim: spell spelllang=cs
% gen: ready

\assignment{9}
\exercise{2}
\points{0,5}
\duedate{24. 4. 2020 12:00}

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


\begin{document}
\begin{zadani}
	Uvažte následující gramatiku $G$:
	\begin{align*}
	G = (&\set{K, N, R, T}, \set{a, e}, P, K) \\
	P = \{ &K \to a \mid RaK, \\
	&R \to aN \mid Ne, \\
	&T \to e \mid TaK \mid TaNK \mid aNTeNa, \\
	&N \to a \mid KRT \mid ReK\}
	\end{align*}
	Pomocí algoritmu z přednášky zkonstruujte ke gramatice $G$ ekvivalentní nelevorekurzivní gramatiku $G_1$. Uveďte, jaké uspořádání neterminálů jste zvolili při odstraňování nepřímé levé rekurze a rovněž uveďte celý postup převodu. Nezapomeňte stručně zdůvodnit, proč gramatika $G$ splňuje vstupní podmínku algoritmu.
	
	Následně ke gramatice $G_1$ pomocí algoritmu z přednášky zkonstruujte ekvivalentní  gramatiku $G_2$ v Greibachové normální formě. 
	
	Pokud ve vašem řešení bude chybět uspořádaní neterminálů, bude vaše řešení hodnoceno 0 body.
\end{zadani}

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

\end{document}
