Advertisement

Rekursive Wortfunktionen

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

Zusammenfassung

Ob eine Wortfunktion primitiv rekursiv, rekursiv oder partiell rekursiv ist, ist bislang nur an der sie darstellenden arithmetischen Funktion zu erkennen. In diesem Abschnitt werden wir nun zeigen, dass sich diese Funktionen auch innerhalb der Wortfunktionen selber beschreiben lassen. Wir imitieren dabei die entsprechende Beschreibung der primitiv rekursiven, rekursiven und partiell rekursiven arithmetischen Funktionen.

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