--- a/notes/tex/computation.tex	Mon Jul 22 23:57:46 2013 +0200
+++ b/notes/tex/computation.tex	Tue Jul 23 00:51:34 2013 +0200
@@ -1021,28 +1021,3 @@
     \end{center}
 \end{frame}
 }
-
-\defineUnit{klausur}{%
-\begin{frame}
-    \frametitle{Obacht, Klausur!}
-    \setbeamercovered{dynamic}
-
-    \begin{itemize}
-        \item \structure{RE $\to$ $\epsilon$-NFA $\to$ NFA $\to$ DFA}
-        \item \structure{(Produktautomat)}
-        \item \structure{Quotientenautomat, Minimale DFAs}
-        \item Reguläres Pumpinglemma
-        \item \structure{CNF-Synthese}
-        \item \structure{Nützliche Symbole, CYK}
-        \item (Kellerautomaten)
-        \item Kontextfreies Pumpinglemma
-        \item Turingmaschinen
-        \item LOOP und PR
-        \item WHILE und $\mu$-Rekursion
-        \item Berechenbarkeit, Entscheidbarkeit, Satz von Rice
-        \item \structure{PCP}
-        \item (P und NP, Verifikatoren)
-        \item Reduktionen von und auf NP-Probleme
-    \end{itemize}
-\end{frame}
-}