Advertisement

Sparsame Erzeugung der partiell rekursiven Funktionen

  • Heinz Lüneburg
Part of the Springer-Lehrbuch book series (SLB)

Zusammenfassung

Die primitiv rekursiven und die partiell rekursiven Funktionen erhielten wir aus den Anfangsfunktionen ƒ0, s,π n i durch die Operationen der Substitution, der primitiven Rekursion und der Minimierung. Nimmt man zu diesen Funktionen noch die Funktion c des cantorschen Indexes und die die Funktionc−1beschreibenden Funktionen l und r hinzu, so gilt der folgende Satz.

Preview

Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.

Copyright information

© Springer-Verlag Berlin Heidelberg 2002

Authors and Affiliations

  • Heinz Lüneburg
    • 1
  1. 1.Fachbereich MathematikUniversität KaiserslauternKaiserslauternGermany

Personalised recommendations