--- a/notes/tex/frames.tex	Mon Jul 15 23:54:45 2013 +0200
+++ b/notes/tex/frames.tex	Mon Jul 22 23:56:37 2013 +0200
@@ -68,6 +68,31 @@
 \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}
+}
+
 \input{automatons.tex}
 \input{grammars.tex}
 \input{computation.tex}