Lexikon der Mathematik: μ-rekursive Funktion
Eine Funktion
Sofern das Minimum nicht existiert, so ist der betreffende Funktionswert undefiniert (partielle Funktion). Der Funktionswert ist auch dann undefiniert, wenn mindestens einer der Werte
Die μ-rekursiven Funktionen stellen eine von vielen äquivalenten Definitionen für den Berechenbarkeitsbegriff dar (Berechnungstheorie, Churchsche These).
Im Vergleich mit den primitiv-rekursiven Funktionen treten bei den μ-rekursiven Funktionen nicht nur gewisse partielle Funktionen hinzu, sondern auch totale Funktionen (total berechenbare Funktion) wie z. B. die Ackermann-Funktion.
Schreiben Sie uns!