Hallo,
ich lerne gerade für PNL und stecke bei der Rekursion etwas fest. Vielleicht kennt sich ja jemand noch damit aus [img]http://www.fb18.de/gfx/16.gif[/img]

Folgendes Beispiel:
Es gibt zwei (bzgl. Bisimulation) verschiedene Lösungen für folgende rekursive Spezifikation:
{X=a||X}
Einmal {X<=>aaa…} und
{X<=>(a+b)(a+b)…} wobei y(a,a)=abbr. und y(a,b)=abbr.
(Skript S. 21, 2.25 f))

Ich verstehe nicht wie das zweite eine Lösung sein kann. Bei meinen Versuchen damit zu rechnen bekomme ich das b einfach nicht weg.

Mir ist auch der Unterschied zwischen der Rekusionsvariable X und einem Prozess(term?) der eine Lösung dafür ist nicht klar.
Kurz gefragt: Kann mir jemand (geschützte)Rekursion und Lösung in Umgangssprache erklären?

Vielen Dank dafür!!

Mal wieder typisch, kaum hat man die Frage gestellt findet man die Antwort [img]http://www.fb18.de/gfx/wand.gif[/img] :
http://3773.rapidforum.com/topic=107583264114