Макрообъект "Управляющее устройство"

В controlMacro​ выделимы:

• набор состояний state_masMacro​,
• NN состояний state[1…N]​Macro​,

j∈[1…N]:statej​Macro​⊂state_masMacro​

• объект, обеспечивающий перемещение управляющего устройства относительно ленты и переход к следующему состоянию управляющего устройства,

moverMacro​⊂controlMacro​

https://telegra.ph/Obshchaya-teoriya-algoritmov-01-20