Also irgendwie hab ich mit der Rekursion noch so meine Probleme: Prozessausdrücke der From "aaa…" gibt es doch eigentlich in diesen Formalismus garnicht?! Diese müssen doch immer endlich sein, oder nicht?

Prozessausdrücke […] müssen doch immer endlich sein, oder nicht?

Seite 146 des FGI-2 Skripts: "Bislang wurden nur Prozesse endlicher Länge spezifiziert. Unendliche Prozesse […] werden durch Rekursion definiert."

Hmm..ja, das hab ich gelesen, aber das ist ja nur ein motivierender Satz für die Rekursion. Ausdrücke der Form {X<->aaaa…..} haben dann aber trotzdem kein Sinn, oder? Denn laut Definition 4.24 (s. 146) müsste dann ja "aa…" ein Prozess(term) sein. Aber solche gibt es nicht.

ok, ich versuch mal mir zu antworten: Prozessterme der Form "aaa…" gibt es nicht. Wir können aber die Menge der atomaren Prozessterme durch Konstanten der Form <X|E> und den entsprechenden Schlussregeln für Rekursion erweitern, um das gewünschte zu erhalten, d.h. es sind beliebig lange Schaltfolgen möglich, da in den zugehörigen Prozessgraphen Schleifen entstehen.