Stubborn-Set

Berechnung 
Lebendigkeit 
Beschränktheit 
Erreichbarkeit 
Verklemmungsfreiheit 
Reversibilität 
Home-States