Seite 1 von 1

13.3

Verfasst: 7. Mär 2017 21:59
von phopner
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.