Operationelle Semantik/Abstract Machine

Aufbau AM  
Konfiguration AM 
Konfigurationsübergang AM 
Push 
True, False 
Add, Sub, Mult, ... 
Fetch 
Store 
Noop 
Branch 
Loop 
Übersetzung Expressions 
Übersetzung Statements