diff --git a/Automaten, Sprachen und Komplexität - MindMap.pdf b/Automaten, Sprachen und Komplexität - MindMap.pdf
index 63865c6..949c422 100644
Binary files a/Automaten, Sprachen und Komplexität - MindMap.pdf and b/Automaten, Sprachen und Komplexität - MindMap.pdf differ
diff --git a/Automaten, Sprachen und Komplexität - MindMap.tex b/Automaten, Sprachen und Komplexität - MindMap.tex
index 14804aa..7a637f0 100644
--- a/Automaten, Sprachen und Komplexität - MindMap.tex	
+++ b/Automaten, Sprachen und Komplexität - MindMap.tex	
@@ -406,10 +406,15 @@
         \item $TOT$ ist nicht einmal semi-entscheidbar
         \item indirekt nehmen wir an, dass C semi-entscheidbar ist
         \item dann existiert eine totale berechenbare Funktion $f:\{0,1\}^*\rightarrow\{0,1\}^*$ mit Bild C
-      \item neue Funktion $g:\{0,1\}^*\rightarrow\{0,1\}^*:w\vdash 1\phi_{f(w)}(w)$
+        \item neue Funktion $g:\{0,1\}^*\rightarrow\{0,1\}^*:w\vdash 1\phi_{f(w)}(w)$
     \end{itemize*}
 
+    \section{Chomsky Normalform}
+    Eine kontextfreie Grammatik G ist in Chomsky Normalform, falls alle Produktionen
+    \begin{itemize}
+        \item die Form $A\rightarrow AB$ oder $A\rightarrow a$ haben,
+        \item und $S\rightarrow\epsilon$ und S nie auf der rechten Seite einer Produktion vorkommt
+    \end{itemize}
 
 \end{multicols*}
-
 \end{document}