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.
Beginne eine Diskussion über den Artikel „Abstrakte Zustandsmaschine“
Auf dieser Diskussionsseite kannst du dich mit anderen Wikipedianern und Interessierten darüber austauschen, wie der Artikel „Abstrakte Zustandsmaschine“ verbessert werden kann. Diskussionsseiten sind öffentlich und für alle einsehbar, eine allgemeine Diskussion zum Thema des Artikels ist hier aber nicht das Ziel.