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