\documentclass[12pt]{ib102}
\usepackage[czech]{babel}

\setassignment{9}
\setexercise{1}
\setduedate{7}{12}{2015}
\setpoints{2}

%%% ZDE NAPISTE SVOJE UCO, JMENO A SKUPINU
\setstudent{}
\setgroup{}
\setuco{}


\begin{document}
\begin{zadani}
Nechť $\Sigma$ je libovolná abeceda a $L_1, L_2 \subseteq \Sigma^*$ jsou
jazyky nad touto abecedou. O každém z následujících tvrzení rozhodněte, zda
je pravdivé, a vaše tvrzení dokažte.

\begin{enumerate}[a)]
	\item $L_1$ je deterministický bezkontextový a $L_2$ je regulární
        $\implies \co{L_1} \cap L_2$ je bezkontextový
	\item $L_1$ je kontextový a $L_2$ je bezkontextový
        $\implies  L_1 \cup L_2$ není bezkontextový
    \item $L_1$ je bezkontextový a $L_2$ je rekurzivně spočetný
        $\implies  L_2 \setminus L_1$ je rekurzivně spočetný
    \item $L_1$ není bezkontextový a $L_2$ je regulární
        $\implies L_2 \setminus L_1$ není bezkontextový
\end{enumerate}

\end{zadani}


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

\end{document}
