Die Turingmaschine ist im D-Book ein Grundlagenanker für die Frage, was ein Algorithmus überhaupt ist. In Q1.2 begegnen Algorithmen zunächst praktisch: lineare Suche, binäre Suche, Sortieren, Laufzeitvergleich. Die Turingmaschine liegt darunter. Sie zeigt, dass Berechnung nicht von Java, Python oder einer bestimmten Maschine abhängt, sondern als formales Verfahren beschrieben werden kann.
Das Modell ist bewusst einfach. Es gibt ein Band mit Zeichen, einen Schreib-/Lesekopf, Zustände und Regeln. Eine Regel sagt, was gelesen wird, was geschrieben wird, wie sich der Kopf bewegt und welcher Zustand folgt. Aus vielen kleinen Schritten entsteht eine Berechnung. Damit wird der Algorithmusbegriff schärfer: Ein Verfahren muss eindeutig ausführbare Schritte besitzen und für eine Klasse von Eingaben definiert sein.
Für E5 ist Turing nicht deshalb relevant, weil die Turingmaschine selbst ein Verschlüsselungsverfahren wäre. Relevant ist die historische und fachliche Verbindung von formaler Berechnung, maschineller Verarbeitung und Kryptanalyse. Spätere Arbeiten im Umfeld von Bletchley Park zeigen, dass kryptologische Probleme algorithmisch und maschinell bearbeitet werden können.
Didaktisch hilft die Turingmaschine, zwei Missverständnisse zu vermeiden. Erstens: Ein Algorithmus ist nicht einfach Java-Code. Code ist eine Implementierung eines Verfahrens. Zweitens: Eine reale Maschine ist nicht die einzige Form, Berechnung zu denken. Das Modell abstrahiert von Hardwaredetails, damit die Struktur des Verfahrens sichtbar wird.
Im D-Book verbindet Turing deshalb Q1.2 und E5. Q1.2 gewinnt begriffliche Tiefe für Verfahren und Berechenbarkeit; E5 gewinnt Kontext für maschinelle Kryptanalyse und digitale Sicherheit.
