uni:10:parpro:start
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.txt · Last modified: 2020-11-18 18:11 by 127.0.0.1