OpenU.Ru
Псевдосостояние в состоянии, ссылающемся на вложенный автомат, которое служит
для идентификации определенного состояния в этом вложенном автомате.
См. stubbed transition; submachine;
submachine reference state.
Семантика
При переходе в состояние, ссылающееся на вложенный автомат, активизируется исходное состояние целевого вложенного автомата. Однако иногда возникает необходимость перехода в другое состояние этого вложенного автомата. Состояние-"заглушка" помещается и состояние, ссылающееся на вложенный автомат, и идентифицирует определенное состояние в этом положенном автомате. "Заглушка" и прочие состояния конечного автомата могут соединяться между собой переходами. При запуске перехода в "заглушку" активизируется то состояние во вложенном автомате, которое эта "заглушка" идентифицирует. Если состояние, на которое ссылается состояние-"заглушка", активно, то может запускаться переход из этой "заглушки". Связи между несколькими "заглушками" одного и того же вложенного автомата запрещены.
Нотация
Переход в "заглушку" или из нее изображается в виде суррогатного
перехода в или из состояния, ссылающегося на вложенный автомат. Другими словами,
он выглядит как стрелка, которая закапчивается или начинается у короткой черты
внутри символа состояния, ссылающегося на вложенный автомат. У черты ставится
метка с именем, которое должно совпадать с именем состояния во вложенном автомате.
На рис. 173 изображена "заглушка", которая находится и состоянии,
ссылающемся на вложенную подпрограмму. На рис. 174 вы найдете определение соответствующего
вложенного автомата.