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

\setassignment{10}
\setexercise{1}
\setduedate{14}{12}{2015}
\setpoints{2}

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


\begin{document}
\begin{zadani}
    Dokažte, že problém určit, zda Turingův stroj $\mathcal{M}$ akceptuje nekonečně mnoho slov, je nerozhodnutelný. Jinými slovy, dokažte, že jazyk
	$$
		L = \{ \langle \mathcal{M} \rangle \mid L(\mathcal{M}) \text{ je nekonečný}\}
	$$
	není rekurzivní.

	Návod: Ukažte, že platí vztah $N \leq_m L$, kde $N$ je vhodný nerekurzivní jazyk. Zdůvodněte, proč tudíž jazyk $L$ nemůže být rekurzivní.
\end{zadani}

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

\end{document}