Digraph-Schreibweise
Aus InfWiki
Mit Hilfe der Digraph-Schreibweise (auch directed Graph) kann man die Funktionsweise eines Automaten grafisch darstellen.
Dabei werden folgende Elemente verwendet:
- Zustände (dargestellt durch Kreise) geben die Stelle im Programm des Automaten an, an der er sich momentan befindet
- Loops (Pfeile mit dem gleichen Anfangs- und Endzustand) bezeichnen Eingaben, bei denen der Automat seinen Zustand nicht verändert.
- Gerichtete Pfeile (Pfeile zwischen zwei verschiedenen Zuständen) bezeichnen Eingaben, bei denen der Automat von einem in den anderen Zustand übergeht.
- Der Endzustand (dargestellt durch einen doppelten Kreis) bezeichnet den Zustand in dem der Automat keine weiteren Eingaben mehr akzeptiert.
Der im Beispiel gezeigte Automat würde somit nur Eingaben akzeptieren, die mit den Ziffern 00 enden.
