stub state

состояние-заглушка (псевдосостояние в состоянии, ссылающемся на вложенный автомат, которое служит для идентификации определенного состояния в этом вложенном автомате ssn)