Endliche Automaten mit Ausgabe

Im täglichen Leben begegnen uns überall die verschiedensten Automaten. Durch Abstraktion lässt sich die mehr oder minder komplexe Funktionsweise der Automaten im Modell darstellen. Mit Hilfe derartiger abstrakter Modelle sind aber auch algorithmische Lösungen zur Syntaxanalyse bei Programmiersprachen beschreibbar.

Ein  Endlicher Automat mit Ausgabe (Transduktor) soll hier an einem Beispiel verdeutlicht  werden.

Ein Automat besitzt eine endliche Anzahl von Zuständen. Der Übergang von einem Zustand in einen anderen geschieht durch eine entsprechende Eingabe. Für jede Eingabe hat man einen bestimmten zugeordneten Folgezustand. Zu Beginn befindet sich der Automat in seinem Anfangszustand und bei korrekter Behandlung am Schluss in seinem Endzustand. Mit jeder Eingabe erfolgt auch eine Ausgabe. ©tino

   [Startseite]