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

\setassignment{10}
\setexercise{2}
\setduedate{9}{12}{2013}
\setpoints{2}

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


\begin{document}
\begin{zadani}
Nechť $\Sigma$ je libovolná abeceda a $A, B \subseteq \Sigma^*$ jsou jazyky
nad touto abecedou.
Dále nechť $HALT$ je jazyk problému zastavení.
O~jazyce $L$ řekneme, že je netriviálním jazykem nad abecedou $\Sigma$,
pokud $L \neq \emptyset$ a zároveň $L \neq \Sigma^*$.

\bigskip
\noindent
Rozhodněte, zda jsou následující tvrzení pravdivá, a svá rozhodnutí zdůvodněte:
\begin{enumerate}[(a)]
    \item $A$ je regulární jazyk, $B$ je netriviální rekursivní jazyk
        $\implies A \le_m B$,

    \item $A \le_m HALT \implies A$ není rekursivní.
\end{enumerate}
\end{zadani}

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

\end{document}
