Advertisement

Rekursive und rekursiv aufzählbare Teilmengen

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

Zusammenfassung

Wir greifen hier ein Thema wieder auf, welches wir in Abschnitt 2 schon einmal angesprochen haben. Die Menge AN0 heißt rekursiv bzw. primitiv rekursiv, wenn ihre charakteristische Funktion rekursiv bzw. primitiv rekursiv ist. Dabei sei daran erinnert, dass in unserem Rahmen die Rollen von 0 und 1 gegenüber ihrem sonstigen Gebrauch bei der Definition der charakteristischen Funktionen vertauscht sind.

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