Zustandsmaschine

Definition 
Eigenschaften 
Lebendigkeit 
Erreichbarkeit 
Beschränktheit 
Verklemmungsfreiheit 
Reversibilität 
Home-States 
L und B