13.3

phopner
Mausschubser
Mausschubser
Beiträge: 45
Registriert: 26. Apr 2012 02:11

13.3

Beitrag von phopner » 7. Mär 2017 21:59

Wäre folgende Lösung auch korrekt? Ich lasse das Alphabet absichtlich weg.
"or" stehe für den in Modul 12, Seite 16 eingeführten Operator.

S00 = ((a -> S01) or (b ->S01))
S01 = ((a -> S02) or (b -> S11))
S02 = (a -> S00)
S10 = ((a -> S11) or (b -> S00))
S11 = ((a - S12) or (b -> S01))
S12 = (a -> S10)

Die Logik ist, dass man für jeden Zustand des Transitionssystems eine Variable im CSP Ausdruck definiert, für jede Transition hat man dann einen Term der Form (x -> P), bei mehreren möglichen Transitionen werden diese mit or verknüpft.

Zurück zu „Archiv“