Echtzeitberechnung und rekursive Funktionen, die nicht in Echtzeit berechnet werden können

Als Versuch, eine allgemeine Theorie der Echtzeitberechenbarkeit in digitalen Computern zu untersuchen, wird eine Unterklasse von Turingmaschinen formal eingeführt, zusammen mit einigen Klassen von Funktionen, die in Echtzeit von ihnen berechnet werden können. Dann wird die Existenz einer Klasse von rekursiven Funktionen festgestellt, die in Echtzeit mittels einer bestimmten Maschinenklasse nicht berechnet werden können, egal wie allgemein wir die Maschinen unter eine gegebene Bedingung stellen.