Ein (Sub-)Zustandsautomat enthält nur dann ein FINAL_STATE_ID-Element, wenn er einen Endzustand besitzt.
Die ID des Endzustands ist auch unterhalb des entsprechenden STATE-Elements zu finden (STATE/ID).
Die Redundanz erleichert die Verarbeitung durch das Codegenerierungsskript. |