Eigentlich gibt es eine viele schönere Seite, auf der man lernen kann, was die Turingmaschine ist und warum es gibt bzw. nicht gibt. Aber meine Seite wäre wohl nicht vollständig, wenn sie fehlen würde.
Zunächst gibt es aber nur ein paar Stichworte…
Churchsche These: „Alles was überhaupt berechenbar ist, ist schon mit der Turingmaschine berechenbar!“ (Zitat:
MathePrisma, Sept. 2011)
Turingmaschine: eigentlich nur theoretisches Konstrukt (bis auf einige
freaks, die zu viel Zeit hatten…)
Turningmaschine: Speicherband, Schreib-/Lesekopf, Steuereinheit, Programm
Programmzeile: (jetziger Zustand, jetzige Bandbelegung) → (neuer Zustand, neue Bandbelegung, Bewegung Schreib-/Lesekopf)