--- a/notes/tex/frames.tex	Fri Jul 04 21:18:30 2014 +0200
+++ b/notes/tex/frames.tex	Wed Jul 16 21:15:39 2014 +0200
@@ -74,7 +74,7 @@
 }
 
 \defineUnit{klausur}{%
-\begin{frame}
+\begin{frame}[c]
     \frametitle{Obacht, Klausur!}
     \setbeamercovered{dynamic}
 
@@ -85,15 +85,14 @@
         \item Reguläres Pumpinglemma
         \item \structure{CNF-Synthese}
         \item \structure{Nützliche Symbole, CYK}
-        \item (Kellerautomaten)
+        \item Kellerautomaten, Deterministische Kellerautomaten
+        \item \structure{(GNF-Synthese)}
+        \item \structure{(PDA $\leftrightarrow$ CFG)}
         \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
+        \item Berechenbarkeit, Entscheidbarkeit
+        \item Reduktionen (in der Berechenbarkeit)
     \end{itemize}
 \end{frame}
 }