Rekursive Funktionen

Auszug

Sowohl Turing- als auch Registermaschinen sind, wie ihr Name schon sagt, Modelle von Maschinen. Sie nähern sich der Frage danach, was berechenbar ist, von der Seite der berechnenden Automaten. Die Programme, die auf diesen Maschinentypen laufen, müssen speziell auf das jeweilige Modell zugeschnitten sein; das macht sie als allgemeine Problemlösungsstrategien manchmal wenig tauglich. Bestes Beispiel ist hier die Addition zweier Unärzahlen mit einer Turing-Maschine, wie sie in Beispiel 7.2.1 beschrieben ist: Eingabe sind zwei natürliche Zahlen in „Strichdarstellung“. Um beide zu addieren, löscht die Turing-Maschine einfach den rechtesten Strich der zweiten Zahl und schreibt ihn in den Zwischenraum zwischen den zwei Zahlen wieder hin — dieser Trick funktioniert natürlich nur bei diesem Maschinenmodell.