wi1-wt08-kap03 - Informatik
wi1-wt08-kap03 - Informatik
wi1-wt08-kap03 - Informatik
Sie wollen auch ein ePaper? Erhöhen Sie die Reichweite Ihrer Titel.
YUMPU macht aus Druck-PDFs automatisch weboptimierte ePaper, die Google liebt.
Prof. Karcher<br />
Endliche Zustandsautomaten<br />
� ein Mealy-Automat kann formal in<br />
mathematischer Form als Sechstupel<br />
beschrieben werden:<br />
� M = ( Q, Σ, Δ, δ, λ, q 0 )<br />
� Q : endliche Menge von Zuständen<br />
� Σ : endliches Eingabealphabet (Ereignisse)<br />
� Δ : endliches Ausgabealphabet (Aktionen)<br />
� δ : Q ×Σ→Q (Zustandsübergangsfunktion)<br />
� λ : Q ×Σ→Δ (Ausgabe-/Aktionsfunktion)<br />
� q 0 : Anfangszustand<br />
Vorlesung WI 1 A. Karcher WT08 Kapitel 3 „Zustandsorientierte Modelle“<br />
11