\documentclass[12pt]{ib102}
\usepackage[czech]{babel}
\newcommand{\co}{\textsf{co-}}

\setassignment{8}
\setexercise{3}
\setduedate{25}{11}{2013}
\setpoints{2}

\renewcommand{\implies}{\Rightarrow}
\newcommand{\smlnum}[1]{\text{\scriptsize(#1)}\ }

%%% ZDE NAPISTE SVOJE UCO, JMENO A SKUPINU
\setstudent{James Bond}
\setgroup{MI6}
\setuco{007}


\begin{document}
\begin{zadani}
    Uvažme bezkontextovou gramatiku $\mathcal G = (N,\Sigma, P, S)$, kde 
\begin{align*}
    N &= \set{ S, X, T } \\
    \Sigma &= \set{ x, t, f, [, ], \land, \lnot, \implies }
\end{align*}%
\begin{align*}
    P = \{ \smlnum{1}  & S~\rightarrow \lnot S, \\
           \smlnum{2}  & S~\rightarrow [S~\land S], \\
           \smlnum{3}  & S~\rightarrow [S~\implies S], \\
           \smlnum{4}  & S~\rightarrow x, \\
           \smlnum{5}  & S~\rightarrow xX, \\
           \smlnum{6}  & S~\rightarrow T, \\
           \smlnum{7}  & X \rightarrow x, \\
           \smlnum{8}  & X \rightarrow xX,\\
           \smlnum{9}  & T \rightarrow t, \\
           \smlnum{10} & T \rightarrow f \}.
\end{align*}

Sestrojte analyzátor \emph{zdola nahoru}, analyzujte slovo
\uv{$[\lnot f \land xx]$} a zapište čísla pravidel gramatiky $\mathcal{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}
