submachine (вложенный автомат)

Конечный автомат, который может быть вызван как часть другого конечного автомата. Вложенный автомат не прикрепляется к классу, - он является своего рода подпрограммой конечного автомата.
Его семантика соответствует ситуации, когда его содержимое копируется и вставляется в то состояние, которое на него ссылается.
См. state; state machine; submachine reference state.