Structural Operation Semantics

Unterschied NatS SOS
Übergangsrelation SOS 1
Übergangsrelation SOS 2
skip SOS
Assignment SOS
comp SOS
if SOS
while SOS
Arten von Abarbeitungssequenzen
Semantische Äquivalenz
Semantische Funktion SOS
Äquivalenz SOS NatS
Vergleich NatS SOS

Kommentare

Nur angemeldete Nutzer dürfen kommentieren. Hier geht's zur kostenlosen Registrierung.