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