\documentclass{ib102}
\usepackage[shorthands=off,czech]{babel}
\newcommand{\smlnum}[1]{\text{\scriptsize(#1)}\ }

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

\assignment{9}
\exercise{1}
\points{2}
\duedate{28. 11. 2016}

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


\begin{document}

\begin{zadani}
Uvažte bezkontextovou gramatiku $G$, generující jazyk výrokových formulí v CNF (konjunktivní normální formě), kde
\begin{center}
$G = (\set{S,C,L,V},\set{ [,],x,\wedge,\vee,\neg }, P, S)$ 
\end{center}
\begin{align*}
    P = \{ \smlnum{1}  & S \rightarrow S \wedge S, \\
           \smlnum{2}  & S \rightarrow [C], \\
           \smlnum{3}  & S \rightarrow L, \\
           \smlnum{4}  & C \rightarrow C \vee C, \\
           \smlnum{5}  & C \rightarrow L, \\
           \smlnum{6}  & L \rightarrow xV, \\
           \smlnum{7}  & L \rightarrow \neg xV, \\
           \smlnum{8}  & V \rightarrow \eps,\\
           \smlnum{9}  & V \rightarrow xV \}.
\end{align*}
\noindent
Sestrojte analyzátor \emph{shora dolů}, analyzujte slovo
\uv{$~x \wedge [\neg xx]~$} a zapište čísla pravidel gramatiky $G$
v pořadí, ve kterém se při analýze tohoto slova použijí odpovídající
přechody analyzátoru.
\end{zadani}

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

\end{document}
