Meine lieben Programmierkumpanen, Ich sitze seit einer Ewigkeit vor dieser Aufgabe und habe keine Ahnung was ich machen soll. Sei Epsilon =(V,Sigmar,S,R) mit V={S,B}, Sigmar={a,b} und R={S::=[Bbb],B::=(aaS|bb} ich soll nun die syntaktischen KAtegorien W(Epsilon,S) und W(Epsilon,B) mit der Fixpunktsemantik berechnen. Dazu sollen mindestens 5 Iterationsschritte benutz werden und W(Epsilon,S) und W(Epsilon,B) sollen in Mengen schreibweise dargestellt werden.

Ich verstehe eigentlich alles außer die eigentliche Berechnung mit der Fixpunktsemantik. Wie funktioniert das (in meinem Skript wird das nicht näher erläutert).

Danke im Vorraus. Mit besten Grüßen Lori