Eine Turingmaschine verbindet einen endlichen Automaten mit einem veränderbaren Symbolband. TuringKara merkt sich den aktuellen Zustand und liest das markierte Feld unter dem Lese-/Schreibkopf.
Zustand + gelesenes Symbol → schreiben + bewegen + nächster Zustand
Lesen und Schreiben
- 0, 1 und #
Bits und das Doppelkreuz als Begrenzungszeichen.
- Leeres Feld
Auch ein unbeschriebenes Feld kann gelesen werden.
- ← ↑ → ↓
Zusätzliche Symbole, die komplexe Programme als Markierungen nutzen.
- Schreiben: unverändert
Lässt das gelesene Symbol stehen.
Deterministisch bedeutet eindeutig
Für denselben Zustand dürfen sich die gewählten Symbolmengen nicht überschneiden. Sonst wären zwei Übergänge gleichzeitig möglich.
Ein Rechenschritt
Eine Regel darf das aktuelle Symbol ersetzen und den Kopf danach um ein Feld nach links, oben, rechts oder unten bewegen. Beim Wechsel nach HALT endet das Programm.
Die Einstiegslevels folgen der bereitgestellten Anleitung; die fortgeschrittenen Welten und Musterlösungen wurden aus dem TuringKara-JAR übernommen und für diese Weboberfläche aufbereitet.