Thesis - RWTH Aachen University

108 5.2 Verhaltensauswahl
PSfrag replacements
b
c
e
Signal b Signal c
Z 0
Signal
a
Signal
d
1 2
Z Z
Signal f
Signal e
Abbildung 5.3: Beispiel eines Zustandsautomaten mit drei Zuständen und sechs Übergängen.
Zustand Z Eingangssignal δ(Z, a)
ZA a ZB
ZA d ZD
ZB b ZC
ZB c ZD
Tabelle 5.1: Beispiel einer Tabelle für die Übergangsfunktion δ. Der entsprechende FSA-Graph ist in
Abbildung 5.4 dargestellt.
warten warten
Z A
Signal
d
Signal
a
Z B
Z D
Signal
c
Signal
b
Abbildung 5.4: Beispiel eines endlichen Zustandsakzeptors, dessen Übergangsfunktion in Tabelle 5.1
dargestellt ist. Das FSA startet immer im Startzustand ZA. Sobald einer der beiden Endzustände ZC
oder ZD erreicht ist, terminiert das FSA seinen Ablauf.
daher zur Zerlegung einer Aufgabe in eine Sequenz von Lösungsschritte bzw. Aktionen geeignet,
wobei jede Aktion einem Zustand des FSA-Diagrammes entspricht (vgl. Abschnitt 2.3.1). Nach Arkin
[Ark98] kann bei jedem Zustand eine Teilmenge aller vorhandenen Verhalten aktiv sein. Sobald ein
vorher fest definiertes Signal auftritt, das entweder einen Erfolg oder einen Misserfolg ausdrücken
kann, findet eine Transition statt, die eine Änderung in der Menge der aktiven Verhalten bewirkt. Die
Übergangsfunktion δ sowie die Gesamtmenge der möglichen Kombinationen von Verhalten sind in
der Regel vorab bekannt und vom Entwickler fest programmiert.
Z C