Шалыто читал? Это называется вложенный автомат. Идея в том, что
есть иерархическая система КА. Где автоматы связаны вместе тем, что
сами встроены в один КА верхнего уровня. И отдельных состояниях КА
верхнего уровня может быть вложен внутренний КА. Т.е. при переходе
в это состоение запускается внутренний КА и внешний КА не выходит
из состояния пока внутренний не дойдёт до некого финального
состояния. См. цикл статей наhttp://www.softcraft.ru/auto/