Hallo!

Wisst ihr wo der Unterschied zwischen Parallel-Operator und Kommuniktations-Operator ist? Die Auswirkungen sind doch irgentwie die gleichen…

der Kommunikationsoperator kann nur eine gemeinsame Operation ausführen,
der Paralleloperator dagegen auch einzelne

also

ab|ba -> Mögliche Folgezustände: b||a

ab||ba -> Mögliche Folgezustände: b||a oder b||ba oder ab||a

Genau. Bis ich das verstanden hatte… :-) da haette ein natuerlichsprachlicher Satz im Skript viel geholfen, oder gleichartige Definition, also nicht hier Kalkuelschreibweise und da Axiome…

naja, Valk ist in der Vorlesung ja selbst ins Stocken geraten.