Folien als PDF
Folien als PDF
Folien als PDF
Erfolgreiche ePaper selbst erstellen
Machen Sie aus Ihren PDF Publikationen ein blätterbares Flipbook mit unserer einzigartigen Google optimierten e-Paper Software.
M8. Finite-State Machine (FSM)<br />
Methodischer Entwurf eingebetteter Systeme<br />
Modelle und Begriffe<br />
Hinweis: Automaten werden gewöhnlich bei<br />
kontrollflussorientierte Problemen eingesetzt.<br />
Ein nichtdeterministischer Endlicher Mealy-Automat (FSM)<br />
ist ein 6-Tupel (I,O,X,R,f,g) mit:<br />
• I : Eingabealphabet<br />
• O: Ausgabealphabet<br />
• X: Endliche Menge von Zuständen<br />
• R˝ X : Menge der Anfangszustände<br />
• f ˝ (X x I x X) Übergangsrelation<br />
• g ˝ (X x I x O) Ausgaberelation<br />
S. A. Huss / Folie 3-17