mark/buk_notes
1
0
Fork 0
Code Issues Pull Requests Actions Packages Projects Releases Wiki Activity

Delete adawjkldajlw.md

Browse Source
This commit is contained in:
mark 2025-07-29 14:39:45 +02:00
parent d655ef5ba3
commit a265bc52e4
1 changed files with 0 additions and 12 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

12
adawjkldajlw.md
View File

@ -1,12 +0,0 @@
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.