Primitiv-rekursive Funktion

Primitiv-rekursive Funktionen sind Funktionen, die auf bestimmte Art aus einfachen Grundoperationen zusammengesetzt werden können. Der Begriff primitiv-rekursive Funktion wurde von der ungarischen Mathematikerin Rózsa Péter geprägt. Primitiv-rekursive Funktionen spielen in der Theoretischen Informatik eine Rolle, insbesondere in Zusammenhang mit Berechenbarkeit.

Primitiv-rekursive Funktionen zeichnen sich durch eine gewisse Gutartigkeit aus. Insbesondere kann man vor der Berechnung eines Funktionswertes angeben, wie komplex diese Operation ist, d.h. auch wie lange diese Berechnung dauern wird. Lange Zeit hoffte man, dass sich jede mathematische Funktion und jedes Problem primitiv-rekursiv berechnen lässt. Diese Hoffnung wurde durch die Ackermann-Funktion zerstört, die erste bekannte Fuktion, die nicht primitiv-rekursiv berechenbar war.

Die Klasse

umfasst zunächst die folgenden primitiv-rekursiven Grundfunktionen:

• 1. konstante Funktion:
  ,
• 2. Projektion auf ein Argument:
  

  ,

  
• 3. Nachfolgefunktion:
  

Aus diesen werden mit folgenden Operationen alle weiteren primitiv-rekursiven Funktionen gewonnen:

• 1. Komposition:
  

  falls

  
• 2. Primitive Rekursion:
  

  ,

  
  

  falls

  
  

Jede primitiv-rekursive Funktion ist LOOP-berechenbar (vgl. LOOP-Programm) und umgekehrt.

Beispiele

Es folgen einige Beipiele, wie sich bekannte Operationen als primitiv-rekursive Funktionen definieren lassen.

Addition

Die Addition

(konstante Funktion)

(Primitive Rekursion)

Multiplikation

Zur Definition der Multiplikation

dürfen wir die Addition schon verwenden, da diese ja, wie gerade gezeigt, primitiv-rekursiv ist:

(konstante Funktion)

(Primitive Rekursion)

Siehe auch: µ-Rekursion