Diskussion:Abstrakte Zustandsmaschine

Eine abstrakte Zustandsmaschine ist ein mathematisches Rechnermodell. Im Unterschied zum endlichen Automat - ebenfalls solches Modell - wird jedoch vom Zustand eines Rechners nicht abstrakt (nur mit einem Namen) gesprochen. Vielmehr stellt man sich den Zustand als mathematische Stuktur (mit Funktionen, Relationen usw.) vor, die durch den Rechner verändert wird. Die Definition der abstrakten Zustandsmaschine basiert also nicht auf der des endlichen Automaten - sie modelliert die Implementierung eines solchen.