uni:10:parpro:start
Differences
This shows you the differences between two versions of the page.
| Next revision | Previous revision | ||
| uni:10:parpro:start [2016-04-14 12:28] – created skrupellos | uni:10:parpro:start [2020-11-18 18:11] (current) – external edit 127.0.0.1 | ||
|---|---|---|---|
| Line 1: | Line 1: | ||
| ====== Entwurf und Implementierung paralleler Programme ====== | ====== Entwurf und Implementierung paralleler Programme ====== | ||
| Ablauf: Pfad von Beginn bis unendlich oder Endzustand (also maximal) | 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.1460629681.txt.gz · Last modified: 2020-11-18 18:10 (external edit)