Zur Ableitung eines Zustandsraumes wird das Problem als chronologische Folge von Aktionen in einen Speicher eingegeben, eine Analyse der chronologischen Folge von Aktionen auf Abhängigkeit der Aktionen voneinander durchgeführt und dann die chronologische Folge in mindestens eine sequentiell berechenbare Folge von Aktionen umgewandelt.