Erleben Sie Berechnung anhand der minimalen Bestandteile eines Bandes, eines Lese-/Schreibkopfs, eines Zustands und von Übergangsregeln.
Maschinell aus dem englischen Original übersetzt. Englisches Original öffnen
Eine Turingmaschine ist eine abstrakte Maschine, die Berechnung allein mit einem Band, einem Kopf, einem Zustand und Regeln definiert. Hier bilden wir nicht das Innere einer CPU nach, sondern machen es möglich, von Hand nachzuvollziehen, wie sich eine Anweisung abschließt und in welcher Lesereihenfolge das geschieht. Das erste Ziel ist nicht, eine Antwort zu liefern, sondern Tape, Head, State und Rule Table als Verweis auf denselben Moment lesen zu können.
Der grundlegende Aufbau einer Turingmaschine ist Stanford Encyclopedia of Philosophy: Turing legt auch die Beziehung zwischen Band, Kopf, Zustand und Anweisungstabelle dar.
Sobald du ein Preset und eine Eingabe gewählt hast, vergleiche den mittleren Kopf, den aktuellen Zustand und die hervorgehobene Zeile der Rule Table. Drücke noch nicht auf Schritt — suche nur, wo diese eine Anweisung beginnt.
Die Blickrichtung ist nicht „das Ganze“, sondern „die aktuelle Zelle“. Hier erfasst du das kleine Versprechen, dass eine lange Berechnung sich Schritt für Schritt allein aus endlich vielen Zuständen und lokalen Symbolen entfaltet.
二進数の右端へ移動し、繰り上がりを処理して1を足します。
In welcher Reihenfolge zerlegt und verfolgt dieses Erlebnis die eine Anweisung?
