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

\newcommand{\smlnum}[1]{\text{\scriptsize(#1)}\ }
% vim: spell spelllang=cs
% gen: ready

\assignment{11}
\exercise{2}
\points{2}
\duedate{11. 12. 2017}

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


\begin{document}
\begin{zadani}
Uvažte bezkontextovou gramatiku $G$, která generuje jazyk pravdivých logických
výroků, kde
\begin{center}
$G = (\set{T, F, X},\set{ t, f, [, ], \wedge, \neg }, P, T)$
\end{center}
\begin{align*}
    P = \{ \smlnum{1}  & T \rightarrow t, \\
           \smlnum{2}  & T \rightarrow [T \wedge T], \\
           \smlnum{3}  & T \rightarrow \neg F, \\
           \smlnum{4}  & F \rightarrow f, \\
           \smlnum{5}  & F \rightarrow [F \wedge X], \\
           \smlnum{6}  & F \rightarrow [X \wedge F], \\
           \smlnum{7}  & F \rightarrow \neg T, \\
           \smlnum{8}  & X \rightarrow T,\\
           \smlnum{9}  & X \rightarrow F,\\
           \smlnum{10}  & X \rightarrow \neg T,\\
           \smlnum{11}  & X \rightarrow \neg F \}.
\end{align*}
\noindent
Sestrojte analyzátor \emph{shora dolů}, analyzujte slovo \uv{$~\neg[\neg\neg t
\wedge f]~$} 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}
