Natural Semantics

Übergangsrelation NatS 
Änderung im Zustand 
skip NatS 
Assignment NatS 
Composition NatS 
if NatS 
while NatS 
semantische Funktion NatS