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)