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 \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.1460629681.txt.gz · Last modified: (external edit)