wi1-wt08-kap03 - Informatik
wi1-wt08-kap03 - Informatik
wi1-wt08-kap03 - Informatik
Erfolgreiche ePaper selbst erstellen
Machen Sie aus Ihren PDF Publikationen ein blätterbares Flipbook mit unserer einzigartigen Google optimierten e-Paper Software.
Prof. Karcher<br />
Zustandsautomat nach Harel<br />
� Zustände mit Gedächtnis („History“)<br />
� beim Übergang in einen Oberzustand ist es oft wünschenswert, in den zuletzt dort<br />
verlassenen Unterzustand zurückzukehren<br />
� ein entsprechender Oberzustand, der seinen letzten Stand speichert, wird mit einen<br />
gekennzeichnet<br />
� beim Eintreten in einen gedächtnisbehafteten Oberzustand wird der gemerkte<br />
Unterzustand betreten<br />
� bei erstmaligem Eintritt wird der Startzustand eingenommen<br />
� Beispiel:<br />
A<br />
a<br />
b<br />
c<br />
C D<br />
d<br />
Vorlesung WI 1 A. Karcher WT08 Kapitel 3 „Zustandsorientierte Modelle“<br />
B<br />
H<br />
H<br />
21