Was ist der grundlegende Unterschied von SOS zu NatS?
Nur angemeldete Nutzer dürfen die Antwort sehen. Hier geht's zur kostenlosen Registrierung.
Was gibt die Notation $<S,s>\Rightarrow <S',s'>$ in der Structural Operation Semantic an?
Nur angemeldete Nutzer dürfen die Antwort sehen. Hier geht's zur kostenlosen Registrierung.
Was gibt die Notation $<S,s>\Rightarrow s'$ in der Structural Operation Semantic an?
Nur angemeldete Nutzer dürfen die Antwort sehen. Hier geht's zur kostenlosen Registrierung.
Wie lautet die Regel für das skip-Command in SOS?
Nur angemeldete Nutzer dürfen die Antwort sehen. Hier geht's zur kostenlosen Registrierung.
Wie lautet die Regel für ein Assignment in SOS?
Nur angemeldete Nutzer dürfen die Antwort sehen. Hier geht's zur kostenlosen Registrierung.
Wie lauten die beiden Regeln für die Composition in SOS?
Nur angemeldete Nutzer dürfen die Antwort sehen. Hier geht's zur kostenlosen Registrierung.
Wie lauten die beiden Regeln für das if-Command in SOS?
Nur angemeldete Nutzer dürfen die Antwort sehen. Hier geht's zur kostenlosen Registrierung.
Wie lautet die Regel für das while-Command in SOS?
Nur angemeldete Nutzer dürfen die Antwort sehen. Hier geht's zur kostenlosen Registrierung.
Eine Abarbeitungssequenz ist eine Folge von semantischen Umformungen in SOS.
Welche Arten gibt es (und was bedeuten sie)?
Nur angemeldete Nutzer dürfen die Antwort sehen. Hier geht's zur kostenlosen Registrierung.
Wann sind zwei Statements in SOS semantisch äquivalent?
Nur angemeldete Nutzer dürfen die Antwort sehen. Hier geht's zur kostenlosen Registrierung.
Wie wird die semantische Funktion in SOS definiert?
$(\mathcal{S}_{SOS} : \text{Command} \rightarrow (\text{State} \hookrightarrow \text{State}))$
Nur angemeldete Nutzer dürfen die Antwort sehen. Hier geht's zur kostenlosen Registrierung.
Sind die semantischen Funktionen $(\mathcal S)$ in SOS und NatS äquivalent?
Nur angemeldete Nutzer dürfen die Antwort sehen. Hier geht's zur kostenlosen Registrierung.
Welche Erweiterungen lassen sich besser (bzw. überhaupt) in SOS, welche besser (bzw. überhaupt) in NatS beschreiben?
Nur angemeldete Nutzer dürfen die Antwort sehen. Hier geht's zur kostenlosen Registrierung.