Hauptmenü:
Endliche Automaten
(eingeschränkt auf Mealy-Automaten)
Aus der Sicht der theoretischen Informatik ist ein endlicher Automat ein Sechs-Tupel A = (Q, S, W, d, l, q0).
Dabei bedeutet
Q |
die Menge der Zustände |
S |
das Eingabe-Alphabet |
W |
das Ausgabe-Alphabet |
d |
die Übergangsfunktion von einem Zustand zum Folgezustand (abhängig von der Eingabe) |
l |
die Ausgabefunktion (abhängig vom Zustand und von der Eingabe) |
q0 |
den Anfangszustand |
(c) Gerd Altmann / pixelio.de