A universe of ideas https://wiki.onmars.eu/ Fri, 24 Apr 2026 00:23:44 +0000 FeedCreator 1.8 https://wiki.onmars.eu/_media/wiki/dokuwiki.svg https://wiki.onmars.eu/ https://wiki.onmars.eu/uni/10/parpro/start?rev=1605719486 <table><tr><th colspan="2" width="50%">2016-04-14 12:28</th><th colspan="2" width="50%">current</th></tr><tr><td class="diff-blockheader" colspan="2">Line 1:</td> <td class="diff-blockheader" colspan="2">Line 1:</td> </tr> <tr><td class="diff-lineheader">&#160;</td><td class="diff-context">====== Entwurf und Implementierung paralleler Programme ======</td><td class="diff-lineheader">&#160;</td><td class="diff-context">====== Entwurf und Implementierung paralleler Programme ======</td></tr> <tr><td class="diff-lineheader">&#160;</td><td class="diff-context">Ablauf: Pfad von Beginn bis unendlich oder Endzustand (also maximal)</td><td class="diff-lineheader">&#160;</td><td class="diff-context">Ablauf: Pfad von Beginn bis unendlich oder Endzustand (also maximal)</td></tr> <tr><td colspan="2">&#160;</td><td class="diff-lineheader">+</td><td class="diff-addedline"></td></tr> <tr><td colspan="2">&#160;</td><td class="diff-lineheader">+</td><td class="diff-addedline">&#160; * $S \subseteq \text{States}$ Zustände</td></tr> <tr><td colspan="2">&#160;</td><td class="diff-lineheader">+</td><td class="diff-addedline">&#160; * $A \subseteq \text{ACT}$ Aktionen</td></tr> <tr><td colspan="2">&#160;</td><td class="diff-lineheader">+</td><td class="diff-addedline">&#160; * $\Delta \subseteq S \times A \times S$ Übergangsrelation</td></tr> <tr><td colspan="2">&#160;</td><td class="diff-lineheader">+</td><td class="diff-addedline">&#160; * $q_0 \in S$ Anfangszustand</td></tr> <tr><td colspan="2">&#160;</td><td class="diff-lineheader">+</td><td class="diff-addedline"></td></tr> <tr><td colspan="2">&#160;</td><td class="diff-lineheader">+</td><td class="diff-addedline">$q \xrightarrow{a}_\Delta p$</td></tr> </table> anonymous@undisclosed.example.com (Anonymous) Wed, 18 Nov 2020 17:11:26 +0000