Zusammenfassung
Im Kapitel 15 wurden verschiedene Ansätze zur Beschreibung der Kompliziertheit von Funktionen untersucht. Die in Kapitel 12 bewiesene Existenz einer universellen Funktion zeigt, daß die Anzahl der benötigten Register kein sinnvolles Kompliziertheitsmaß ist. Denn alle rekusiven Funktionen lassen sich z. B. mit so viel Registern berechnen, wie zur Berechnung der universellen Funktion notwendig sind, wenn die Argumente xb..., xn in der Form 〈x1..., xn〉 in das erste Register eingegeben werden.
Access this chapter
Tax calculation will be finalised at checkout
Purchases are for personal use only
Preview
Unable to display preview. Download preview PDF.
Author information
Authors and Affiliations
Rights and permissions
Copyright information
© 1977 Friedr. Vieweg & Sohn Verlagsgesellschaft mbH, Braunschweig
About this chapter
Cite this chapter
Cohors-Fresenborg, E. (1977). Kleine universelle Registermaschinen. In: Mathematik mit Kalkülen und Maschinen. Logik und Grundlagen der Mathematik, vol 20. Vieweg+Teubner Verlag. https://doi.org/10.1007/978-3-322-85927-3_17
Download citation
DOI: https://doi.org/10.1007/978-3-322-85927-3_17
Publisher Name: Vieweg+Teubner Verlag
Print ISBN: 978-3-528-08381-6
Online ISBN: 978-3-322-85927-3
eBook Packages: Springer Book Archive