Advertisement

Partiell rekursive Funktionen

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

Zusammenfassung

In diesem Abschnitt wollen wir die partiell rekursiven Funktionen als diejenigen Funktionen charakterisieren, deren Graphen rekursiv aufzählbar sind. Dabei haben wir schon gesehen, dass eine arithmetische Funktion, deren Graph rekursiv aufzählbar ist, partiell rekursiv ist. Wir haben auch schon gesehen, dass die Graphen primitiv rekursiver Funktionen rekursiv aufzählbar sind. Dies werden wir zu benutzen haben, wenn wir zeigen, dass die Graphen partiell rekursiver Funktionen allesamt rekursiv aufzählbar 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