Zustandsdiagramm

Ein Zustandsdiagramm ist ein gerichteter Graph, dessen Knoten Zustände definieren. Kanten definieren Zustandsüberführungen. Zustandsdiagramme definieren Funktionen in endlichen Automaten. Für Mealey-Automaten werden die Kanten mit Paaren aus Eingabe- und zugehörigem Ausgabewert beschriftet. Die Kanten des Zustandsgraphen eines Moore-Automaten werden nur mit Eingabewerten versehen, die Ausgabewerte sind Teil der Knotenbeschreibung.

Kommentar
In der Finite State Grammar können die in einer Sprache gültigen Wahlmöglichkeiten bei der Erzeugung von Sätzen in einem Zustandsdiagramm dargestellt werden, das als Anweisung an einen Automaten zu interpretieren ist, die in der jeweiligen Sprache grammatischen Sätze zu erzeugen.