FB18 - Das Forum für Informatik

fb18.de / Diplom Informatik / Unterbereich Grundstudium / Formale Informatik

Mü-Rekursive-Funktionen

Mü-Rekursive-Funktionen 2004-04-24 09:55
Anonymer User
Hi!
Was sind denn die mü-rek. Funktionen?
Da gibt es doch nicht mü-Operator und ansonsten gilt doch alles von den primitiv-rekursiven Funktionen oder seh ich das falsch?
Und wo ist der Vorteil dieser mü-rek-Fktn???
Wer hat Plan!
Danke
CHeers

Re: Mü-Rekursive-Funktionen 2004-04-24 10:10
Slater
doch, so ist es,
die bisherigen Definition + mü-Operator verträglich eingebaut,

Vorteil: es lassen sich mehr Funktionen beschreiben
(nun alle, die auch ne Turingmaschine berechnen kann),

zum Beispiel nun auch die Ackermannfunktion, das geht mit den primitiven nicht

Re: Mü-Rekursive-Funktionen 2004-04-25 22:54
Anonymer User
Vgl. bspw. "Theoretische Informatik - Kurzgefasst" von Schoening. Da steht das ganz huebsch drin (aber eben: kurzgefasst).

Cheers.