\input{preamble.tex}
\input{frames.tex}

\title{Übung 11: Aussagen über TMs und PCP}
\subtitle{Theoretische Informatik Sommersemester 2013}
\author{\href{mailto:markus.kaiser@in.tum.de}{Markus Kaiser}}

\begin{document}
\showUnit{titel}
\showUnit{spezielleshalteproblem}
\showUnit{halteproblem}
\showUnit{aufzaehlbarkeit}
\showUnit{rice}
\showUnit{pcp}
\showUnit{pcpbeispiel}
\end{document}