Zusammenfassung
Es seien gk, rk+2 zwei Funktionen mit k > 0, oder es sei k = 0, a eine Zahl und r2 eine Funktion. Eine Funktion fk+1 heißt durch primitive Rekursion vermöge gk, rk+2 oder vermöge a, r2 definiert, wenn für alle ihre Argumente die Rekursionsschemata
oder
gelten. (SPR0) reduziert sich auf (SPR), sofern die konstanten Funktionen c(math) und Superpositionen zur Verfügung stehen: ist f1 vermöge a und r2 definiert und definiere ich f2 vermöge c 1a und r3 = r2°<p 31 , p 32 >, so erhalte ich f1 als f2°<c 10 , p 10 >.
This is a preview of subscription content, log in via an institution.
Buying options
Tax calculation will be finalised at checkout
Purchases are for personal use only
Learn about institutional subscriptionsPreview
Unable to display preview. Download preview PDF.
Author information
Authors and Affiliations
Rights and permissions
Copyright information
© 1993 Springer-Verlag Berlin Heidelberg
About this chapter
Cite this chapter
Felscher, W. (1993). Primitiv rekursive Funktionen. In: Berechenbarkeit. Springer-Lehrbuch. Springer, Berlin, Heidelberg. https://doi.org/10.1007/978-3-642-78019-6_5
Download citation
DOI: https://doi.org/10.1007/978-3-642-78019-6_5
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-540-56354-9
Online ISBN: 978-3-642-78019-6
eBook Packages: Springer Book Archive