From d655ef5ba392bd7e831b772a78ff1d856a4c9ced Mon Sep 17 00:00:00 2001 From: mark Date: Tue, 29 Jul 2025 14:11:33 +0200 Subject: [PATCH] Add adawjkldajlw.md --- adawjkldajlw.md | 12 ++++++++++++ 1 file changed, 12 insertions(+) create mode 100644 adawjkldajlw.md diff --git a/adawjkldajlw.md b/adawjkldajlw.md new file mode 100644 index 0000000..cee9e7e --- /dev/null +++ b/adawjkldajlw.md @@ -0,0 +1,12 @@ + +Sei $M_f$ eine TM, die $f(x) = x^2$ berechnet (diese existiert, da $f(x) = x^2$ berechenbar ist). + +Wir legen die Eingabe der TM $M$ auf das zweite Band unserer Ausgabe-TM $A$, +und fügen dieser Zustände hinzu, sodass sie zuerst $M$ normal ausführt, dann aber statt jedem Endzustand +in den Startzustand der $f(x)$-TM $M_f$ übergeht, der dann die Eingabe aus dem ersten Band ausliest. + +Nun konvertieren wir die 2-Band-TM in eine Einband-TM, die wir dann zurückgeben. + +Eine solche Funktion existiert, da sie ja berechenbar ist (z.B. als WHILE-Programm einfach denkbar). + +Daher gilt: Wenn $M$ hält, berechnet $A$ genau $f(x) = x^2$, wenn $M$ nicht hält, hält auch $A$ nicht.