Was gibt die Notation $<S,s> \to s'$ in der Natural Semantic an?
Nur angemeldete Nutzer dürfen die Antwort sehen. Hier geht's zur kostenlosen Registrierung.
Was gibt $s[x\to k](y)$ an?
Nur angemeldete Nutzer dürfen die Antwort sehen. Hier geht's zur kostenlosen Registrierung.
Wie lautet das Axiom für das skip-Command in NatS?
Nur angemeldete Nutzer dürfen die Antwort sehen. Hier geht's zur kostenlosen Registrierung.
Wie lautet das Axiom für ein Assignment in NatS?
Nur angemeldete Nutzer dürfen die Antwort sehen. Hier geht's zur kostenlosen Registrierung.
Wie lautet die Regel für die Composition in NatS?
Nur angemeldete Nutzer dürfen die Antwort sehen. Hier geht's zur kostenlosen Registrierung.
Wie lauten die Regeln für das if-Command in NatS?
Nur angemeldete Nutzer dürfen die Antwort sehen. Hier geht's zur kostenlosen Registrierung.
Wie lauten die Regeln für das while-Command in NatS?
Nur angemeldete Nutzer dürfen die Antwort sehen. Hier geht's zur kostenlosen Registrierung.
Wie wird die semantische Funktion in NatS definiert?
$(\mathcal S_{NatS} : \text{Command} \to (\text{State} \hookrightarrow \text{State}))$
Nur angemeldete Nutzer dürfen die Antwort sehen. Hier geht's zur kostenlosen Registrierung.