Hallo,
kann mir jemand die Axiome RDP und RSP bei der Rekursion (Skript S. 24) erklären?
Bei den Beispielaufgaben setzt man irgendwie nur ein bisschen ein und schreibt dann einfach die gewünschte Lösung hin, ist mir irgendwie nicht klar das man dadurch Äquivalenz zeigt…

Hülfe - Danke

RDP bedeutet: statt der Lösung <Xi|E> kann man auch die sie beschreibende Gleichung hinschreiben


RSP besagt: wenn man alle benötigten Gleichungen der Form yi = ti(y1,..,yn) zusammenhat,
dann kann man das als eine Spezifikation ansehen
und yi als deren Lösung auch mit <Xi|E> bezeichnen,


klingt doch beides recht simpel

in Beispiel 2.33 sind die ersten beiden Zeilen RDP,
da wird einfach anstatt <Z|Z=az> die beschreibende Gleichung,
also a<Z|Z=az> eingesetzt

<Z|Z=az> = aa <Z|Z=az> im 3. Schritt bildet nun eine neue Spezifikation
(gleichbedeutend mit dem weniger verwirrenden Ausdruck y == aa y)

also kann man daraus mit RSP eine neue Spezifikation gewinnen

Danke für die Erklärung, das hat geholfen!

Wozu benötigt man den RDP/RSP überhaupt? Zeigt man dadurch die Äquivalenz zwischen zwei rekursiven Spezifikationen?

Wozu benötigt man den RDP/RSP überhaupt?

Das würde mich auch mal interessieren. Danke im Voraus für eine Antwort :D