Hi, ich habe eine Frage zur Übungsaufgabe 9.3.
So wie ich die Aufgabenstellung verstanden haben, dürfen wir für das Umformen, da Modulo AC, nur die Regeln A1 und A2 verwenden. Sonderlich viele verschiedene Formen des Ausgangstermes ergeben sich für mich dadurch nicht…

Wenn ich mir so den Aufgabentext durchlese kann das, was ich mir drunter vorstelle eigentlich nur falsch sein. Wie soll denn überhaupt das Transitionssystem ausschauen?

gruß

Also Modulo AC umgeformte Sachen sollen auf einem Knoten sein, Umformungen über die anderen Regeln R3,R4,R5 dann auf dem nächsten Knoten, mit einer Transition verbunden, so wie ichs verstanden hab.

Habe da auch noch ne Frage zu den Regeln, sind die nur genau so zu lesen wie sie da stehn im Skript, also:
(x+y)*z -> x*z+y*z
kann das so benutzt werden:
z*(x+y) -> z*x+z*y
oder geht das nicht?

Habe da auch noch ne Frage zu den Regeln, sind die nur genau so zu lesen wie sie da stehn im Skript, also:
(x+y)*z -> x*z+y*z
kann das so benutzt werden:
z*(x+y) -> z*x+z*y
oder geht das nicht?

Letzteres geht so einfach nicht.  Die Regeln sind strikt so anzuwenden, wie sie definiert sind. Will man Kommutativität und/oder Assoziativität ausnutzen (wie in deinem Beispiel), müssen auch dafür Regeln zur Verfügung stehen.  Die zweite Form dürftest du nur verwenden, falls du Regeln fändest, mit denen du aus der ersten Form (R5) die zweite bilden könntest.  Dies sollte dir aber nicht gelingen.

kann das so benutzt werden:
z*(x+y) -> z*x+z*y
oder geht das nicht?

Das geht nicht.

Kann man sich auch logisch ueberlegen.
Die entstehenden Prozessgraphen sind nciht bisimilar, wenn man von rechts das Distributivgesetz anwendet.