mü-rekursive Funktionen < Algor.+Datenstr. < Theoretische Inform. < Hochschule < Informatik < Vorhilfe
|
| Status: |
(Frage) überfällig  | | Datum: | 16:53 Fr 26.01.2007 | | Autor: | pyro |
Hallo!
Ich hoffe mal ich bin hier im Forum richtig.
Und zwar hatten wir in der letzten Vorlesung primitiv rekursive und mü-rekursive Funktionen.
Die primitiv rekursiven Funktionen haben mir vom Verständnis keine Probleme gemacht.
Mü-rekursive Funktionen aber habe ich noch nicht ganz verstanden.
Ich habe dazu den folgenden Aufschrieb:
μ-Rekursive Funktionen
μ-Operator:
(μy)[h(y,x1,...,xn)=0] = min{y|h(y,x1,...,xn)=0} = z
mit h (y,x1,...,xn) definiert für alle y<z
μ-rekursive Funktion: f(x1,...,xn) = (μy)[h(y,x1,...,xn)=0]
sowie diesen hier:
Sei h(y,x1,x2) = 0 falls A(x1,x2) = 0
= 1 sonst
Dann gilt: A(x1,x2) = (μy)[h(y,x1,x2)=0]
Was genau ist nun eine mü-rekursive Funktion?
Eienrseits habe ich gehört das Ergebnis sei eine Zahl, andererseits soll das Ergebnis nur eine neue Funktion zurückgeben? Ich bin verwirrt. Desweiteren weiß ich nicht was das mit dem Minimum oben bedeutet. Versucht die Funktion immer 0 zu werden? Wenn ja erhalte ich den Wert, den y hierfür haben muss? Merkt man sich diese Werte? Oder was passiert? Mir ist der Ablauf nicht klar!
Es wäre toll wenn jemand hier das mal an einem Beispiel demonstrieren könnte!
|
|
| |
|
| Status: |
(Mitteilung) Reaktion unnötig  | | Datum: | 17:21 So 28.01.2007 | | Autor: | matux |
$MATUXTEXT(ueberfaellige_frage)
|
|
|
|
