Chomsky Normalform

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}