# HG changeset patch
# User Markus Kaiser <markus.kaiser@in.tum.de>
# Date 1374533494 -7200
# Node ID 3ac958d9b7c460c817abe1f7ea818929b0cb8e05
# Parent  912d08706f1633cc9c10e8c05df397c776bcb06a
remove duplicate definition

diff -r 912d08706f16 -r 3ac958d9b7c4 notes/tex/computation.tex
--- 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}
-}