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

\setassignment{10}
\setexercise{1}
\setduedate{8}{12}{2014}
\setpoints{2}

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


\begin{document}
\begin{zadani}
    Dokažte, že problém určit, zda funkce popsaná zadaným Turingovým strojem $\mathcal{M}$ má v oboru hodnot řetězec \uv{redukce}, je nerozhodnutelný. Jinými slovy, dokažte, že jazyk
	$$
		L = \{ \langle \mathcal{M} \rangle \mid \text{existuje slovo } w \text{, pro které platí } \mathcal{M}(w) = \mathit{redukce}\}
	$$
	není rekurzivní.

	Návod: Ukažte, že platí vztah $\textsc{HALT} \leq_m L$, a zdůvodněte, proč tudíž jazyk L nemůže být rekurzivní.
\end{zadani}

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

\end{document}
