Registermaschinen

Auszug

In diesem und den folgenden Kapiteln versuchen wir, den Begriff der „berechenbaren Funktionen“ besser zu verstehen, indem wir verschiedene abstrakte Modelle des „Berechenbaren“ betrachten. Mit den Turing-Maschinen haben wir schon ein klassisches Modell eingeführt, das aber von Rechnern, wie wir sie kennen, relativ weit entfernt ist. Das drückt sich auch in den Algorithmen aus. Ein gutes Beispiel für einen TM-Algorithmus, der sich so nicht auf andere Berechnungsmodelle übertragen lässt, ist die Addition zweier Unärzahlen in Beispiel 7.2.1: Es wird ein Strich am Ende gelöscht und zwischen die zwei Eingabezahlen geschrieben, und fertig ist die Addition. Dieser Trick ist zwar nett, wird uns für ein Rechensystem, das nur geringfügig anders funktioniert, aber überhaupt nichts nützen.