Kaffee-Automat "Pott-1"
Ausgehend von einem realen Automaten wollen wir einen kurzen Einblick in das Thema endliche Automaten der theoretischen Informatik geben.
Zustandsgraf für Automaten
Die grafische Darstellung der Übergangsfunktionen nennt man Zustandsgraf, Zustandsdiagramm oder Transpositionsgraf
Diese beschreibende Sprache hat folgende Elemente: