uni:10:parpro:start
This is an old revision of the document!
Entwurf und Implementierung paralleler Programme
Ablauf: Pfad von Beginn bis unendlich oder Endzustand (also maximal)
- $S \subseteq \text{States}$ Zustände
- $A \subseteq \text{ACT}$ Aktionen
- $\Delta \subseteq S \times A \times S$ Übergangsrelation
- $q_0 \in S$ Anfangszustand
$q \xrightarrow{a}_\Delta p$
uni/10/parpro/start.1460630160.txt.gz · Last modified: (external edit)