Semantik Allgemein

Typ einer Variable 
Zustand 
Expression 
Semantik einer arithmetischen Expressions 
Semantik einer boolschen Expression 
Command