Previous:
Feld von Indizes
Up:
Felder
Next:
Beispiel:
Feld von Zuständen
Ein
endlicher Automat
ist ein 5-Tupel
mit
endliche Zustandsmenge
endliches Eingabealphabet
Überführungsfunktion
Anfangs- oder Startzustand
Endzustände
Ein Wort
wird akzeptiert, falls
.
Die Wirkungsweise der Überführungsfunktion
kann durch einen Zustandsüberführungsgraphen beschrieben werden. In diesem Graphen führt eine mit
beschriftete Kante von Knoten
zu Knoten
, falls gilt:
.
Unterabschnitte
Beispiel:
Previous:
Feld von Indizes
Up:
Felder
Next:
Beispiel: