From edc22b1f6d4a56aea446002847b3e61b57c5df86 Mon Sep 17 00:00:00 2001
From: Thomas Ba <git@thomasba.de>
Date: Wed, 19 Oct 2011 12:40:31 +0200
Subject: [PATCH] Update Berechenbarkeits-KomplexTh

---
 .../Berechenbarkeits-KomplexTh.tex            | 41 +++++++++++++++++++
 1 file changed, 41 insertions(+)

diff --git a/Berechenbarkeits-KomplexTh/Berechenbarkeits-KomplexTh.tex b/Berechenbarkeits-KomplexTh/Berechenbarkeits-KomplexTh.tex
index 9949f8f..38ee231 100644
--- a/Berechenbarkeits-KomplexTh/Berechenbarkeits-KomplexTh.tex
+++ b/Berechenbarkeits-KomplexTh/Berechenbarkeits-KomplexTh.tex
@@ -394,4 +394,45 @@
 	Analog ist H akzeptierbar.\\
 	(nehme M von oben und akzeptiere auch, wenn \(Z_v\) erreicht wird.)
 
+	Bezeichnungen:\\
+	\begin{itemize}
+		\item akzeptierbar
+			\subitem rekursiv aufzählbar
+			\subitem semi-entscheidbar
+			\subitem partiell rekursiv
+		\item entscheidbar
+			\subitem rekursiv
+	\end{itemize}
+
+	Wir Konstruieren eine Sprache D, die nicht \underline{nicht} akzeptierbar ist.\\
+	D.\,h. \( D \not= L(M) \) für alle Turingmaschinen M.
+
+	\begin{tabular}{c|ccccc}
+		TM \( \backslash \Sigma^*\) & \(x_1\) &\(x_2\) &\(x_3\) &\(x_4\) & … \\
+		\hline
+		\(x_1\)    & 0 & 1 & 0 & 0 & …\\
+		\(x_2\)    & 1 & 0 & 1 & 1 & \\
+		\(x_3\)    & 0 & 0 & 1 & 1 & \\
+		\(x_4\)    & 1 & 0 & 1 & 0 & …\\
+		\(\vdots\) &   &   &   & \(\vdots\) 
+	\end{tabular}\\
+	\( M_{x_1} (x_3)\) verwirft\\
+	\( M_{x_1} (x_4)\) akzeptiert
+
+	Jede Zeile in der Tabelle beschreibt eine Sprache:\\
+	Zeile $i$: die von \( M_{x_i}\) akzeptierte Sprache.\\
+	Wir konstruieren $D$ so, dass $D$ mit \underline{keiner} Zeile der Tabelle übereinstimmt.
+
+	\( D = \{ x \mid x \not\in L(M_x)\} \)
+
+	Dann ist $D$ nicht akzeptierbar:
+
+	Angenommen \( D = L(M) = L(M_x) \)\\
+	für ein \( x \in \Sigma^* \)
+
+	Es gilt aber \( x\in D \leftrightarrow x \not\in L(M_x) \)\\
+	Widerspruch!
+
+	
+
 \end{document}