progr. | submachine reference state | состояние-ссылка на вложенный автомат (состояние, которое ссылается на вложенный автомат, копия которого представляет собой неявную часть общего конечного автомата. Может иметь состояния-заглушки, служащие для идентификации состояний во вложенном автомате ssn) |