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⊆States Zustände
- A⊆ACT Aktionen
- Δ⊆S×A×S Übergangsrelation
- q0∈S Anfangszustand
qa→Δp
uni/10/parpro/start.1460630160.txt.gz · Last modified: 2020-11-18 18:10 (external edit)