Prozessalgebra: Rekursion
2007-09-13 22:30
Morpheus
Ich habe da eine Aufgabe in dem Buch "Introduction to process algebra" von Wan Fokkink (Woraus auch Herr Falk sein Kapitel über Prozessalgebra gemacht hat), eine Aufgabe die ich nicht ganz verstehe:
Bitte aus folgendem Prozessterm den Prozessgraphen ableiten:
Wie kommt es zu einer Lösung mit zwei Prozesstermen?
Wie immer bedanke ich mich schonmal im vorraus.
Bitte aus folgendem Prozessterm den Prozessgraphen ableiten:
<X|X=YX, Y=bY>
Die Lösung laut dem Buch lautet:<X|X=YX, Y=bY> ->(b) <Y|X=YX, Y=bY><X|X=YX, Y=bY>
(das b soll hier natürlich eingentlich über den Pfeil)Wie kommt es zu einer Lösung mit zwei Prozesstermen?
Wie immer bedanke ich mich schonmal im vorraus.