Zustandsautomat (endlicher Automat) ein Objekt, dessen Verhalten ...
Zustandsautomat (endlicher Automat) ein Objekt, dessen Verhalten ...
Zustandsautomat (endlicher Automat) ein Objekt, dessen Verhalten ...
Erfolgreiche ePaper selbst erstellen
Machen Sie aus Ihren PDF Publikationen ein blätterbares Flipbook mit unserer einzigartigen Google optimierten e-Paper Software.
<strong>Zustandsautomat</strong>en<br />
Mealy- und Moore-<strong>Automat</strong>en<br />
Mealy-<strong>Automat</strong>:<br />
Ausgaben bzw. Aktionen sind an Zustandsübergänge gekoppelt.<br />
• Zustände werden für Zeitintervall <strong>ein</strong>genommen.<br />
• Übergänge finden zu Zeitpunkten statt.<br />
• Ausgaben zu diskreten Zeitpunkten, assoziiert mit Übergängen.<br />
Mathematische Beschreibung:<br />
Sechstupel M = (Q, Σ, ∆, δ, λ, q 0 )<br />
Q: endliche Menge von Zuständen<br />
Σ: endliches Eingabealphabet (Menge der Ereignisse)<br />
∆: Ausgabealphabet (Menge der Aktionen)<br />
δ: Übergangsfunktion (Transition) für Abbildung Q x Σ -> Q<br />
δ(q,a) ist <strong>ein</strong> (Folge-)Zust. für jeden Zust. q und jedes Eingabesymbol a<br />
q 0 : Anfangszustand (Statrzustand)<br />
λ: <strong>ein</strong>e Abbildung von Q x Σ -> ∆<br />
λ(q,a) liefert Ausgabe (Aktion) bei Übergang aus q mit Eingabe a<br />
<strong>Zustandsautomat</strong>en<br />
Mealy- und Moore-<strong>Automat</strong>en<br />
Vorlesung <strong>Automat</strong>isierungsprojekte Seite 4/11<br />
Moore-<strong>Automat</strong>:<br />
Ausgaben bzw. Aktionen sind an Zustände gebunden.<br />
�Aktivitäten (UML):<br />
Aktivität beginnt, wenn in den Zustand <strong>ein</strong>getreten wird<br />
Aktivität endet, wenn Zustand verlassen wird<br />
Notation am Beispiel Alarmanlage<br />
Alarm<br />
Bewegungsmelder<br />
Voralarm<br />
ausschalten<br />
Voralarm<br />
do/ Sicherungsmaßnahmen<br />
Ausgeschaltet<br />
Einschalten Ausschalten<br />
Aktiv<br />
do/ Vorbeugende Maßnahme<br />
Alarm<br />
Glasbruchmelder<br />
Alarm<br />
ausschalten<br />
Alarm<br />
Glasbruchmelder<br />
Alarm<br />
do/ Alarmmaßnahmen<br />
Mathematische Definition wie Mealy, außer Abbildung λ: Abbildung von Q<br />
nach ∆, spezifiziert die mit Zustand verknüpfte Ausgabe.<br />
Vorlesung <strong>Automat</strong>isierungsprojekte Seite 4/12
Change language