Seite 1 - haase-news

Hauptmenü:

Informatik > Bereiche > Theoretische Informatik

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