Endliche Systeme

für P∈Proc(Σ): Menge der von P aus durch Folgen von a- und τ-Schritten erreichbaren Prozesse (Terme) ist endlich,

einfache Lösung: Einschränkung auf End-Rekursion

μP.(...P)

vergleiche: rechtslineare Grammatiken



Johannes Waldmann 2011-06-29