Turingmaschinen

Zusammenfassung

In diesem Kapitel wird der Begriff der Turingmaschine eingeführt, losgelöst von den heuristischen Betrachtungen des letzten Paragraphen. Weiterhin werden die wichtigsten konstruktiven Begriffe, auf die wir bereits im ersten Kapitel eingegangen sind, mit Hilfe von Turingmaschinen definiert. Man überzeuge sich davon, daß die vorgeschlagenen Definitionen der Turing-Entscheidbarkeit, -Berechenbarkeit und -Aufzählbarkeit Präzisierungen der entsprechenden intuitiven Begriffe sind, welche als besonders naheliegend angesehen werden können, wenn man zugibt, daß die Turingmaschinen eine legitime Präzisierung des Begriffs eines Algorithmus darstellen. Schließlich werden einige einfache Beispiele für Turingmaschinen angegeben. Die in § 6.5 eingeführten Maschinen a _i , r und L sind prinzipiell wichtig.