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

% vim: spell spelllang=cs
% gen: ready

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

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


\begin{document}
\begin{zadani}
Rozhodněte pomocí CYK algoritmu, zda gramatika $G$ generuje slova $\mathit{fail}$ a $\mathit{lili}$. Nezapomeňte uvést celý postup.
\begin{align*}
  G = (&\set{S, A, B, C}, \set{a, f, i, l}, P, S) \\
  P = \{ &S \to AB \mid CS \mid a \mid l, \\
        &A \to AB \mid f \mid i, \\
        &B \to CS \mid a \mid l, \\
        &C \to AC \mid BB \mid i \}
\end{align*}
\end{zadani}

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

\end{document}
