--- a/notes/tex/grammars.tex	Sun Jun 01 00:30:12 2014 +0200
+++ b/notes/tex/grammars.tex	Fri Jun 06 17:13:58 2014 +0200
@@ -763,19 +763,22 @@
         \begin{tikzpicture}[node distance=3cm]
             \node (CFG) {CFG};
             \node (CNF) [right of = CFG] {CNF};
-            \node (PDAe) [right of = CNF] {PDA$_\epsilon$};
-            \node (PDAf) [right of = PDAe] {PDA$_F$};
+            \node (GNF) [right of = CNF] {GNF};
+            \node (PDAf) [below = 1.5cm of GNF] {PDA$_F$};
+            \node (PDAe) [below = 1.5cm of CNF] {PDA$_\epsilon$};
 
             \draw [every edge, <->] (CFG) -- (CNF);
-            \draw [every edge, <->] (CNF) -- (PDAe);
+            \draw [every edge, ->] (CNF) -- (GNF);
+            \draw [every edge, ->] (GNF) -- (PDAe);
             \draw [every edge, <->] (PDAe) -- (PDAf);
+            \draw [every edge, ->] (PDAe) -- (CFG);
         \end{tikzpicture}
     \end{center}
 
     \vfill
 
     \begin{itemize}
-        \item \alert{Abschlusseigenschaften}
+        \item Abschlusseigenschaften
     \end{itemize}
     \begin{table}
         \begin{tabu}to \textwidth{X[c]|ccccc}
@@ -786,7 +789,7 @@
     \end{table}
 
     \begin{itemize}
-        \item \alert{Entscheidbarkeit}
+        \item Entscheidbarkeit
     \end{itemize}
     \begin{table}
         \begin{tabu}to \textwidth{X[c]|cccc}