FGI 2, Zettel 8, Aufgabe 8.1: Verzweigungsbisimulation
2007-12-17 17:26
Dive
Hi Leute,
ich hab ein Problem mit Aufgabe 8.1.2/3/4:
Müssen wir für s bzw. t die verschiedenen Fälle s=x+y, s=xy, s=x||y,… betrachten und wenn ja, wieso? Macht es einen Unterschied, da wir ja nur das (Tau) auf der rechten Seite ausführen müssen um zu zeigen, dass die Terme verzweigungsbisimilar sind. In allen Fällen könnten wir ja gleichermaßen nach Regel 1 und 2 aus der Definition 4.37, Skript S. 161 vorgehen, ohne s und t genauer zu spezifizieren (wird ja im Skript mit p und q auch nicht gemacht).
Grüße
ich hab ein Problem mit Aufgabe 8.1.2/3/4:
Müssen wir für s bzw. t die verschiedenen Fälle s=x+y, s=xy, s=x||y,… betrachten und wenn ja, wieso? Macht es einen Unterschied, da wir ja nur das (Tau) auf der rechten Seite ausführen müssen um zu zeigen, dass die Terme verzweigungsbisimilar sind. In allen Fällen könnten wir ja gleichermaßen nach Regel 1 und 2 aus der Definition 4.37, Skript S. 161 vorgehen, ohne s und t genauer zu spezifizieren (wird ja im Skript mit p und q auch nicht gemacht).
Grüße