Формула объектов

AlgTM(tapeMacro​ ∪ controlMacro​ ∪ innerMacro​,t1…t4)

В алгоритме макро-объект \underset{\mathrm{control}}controlMacro​ - это управляющее устройство, и этот объект является работником алгоритма:

WorkerAlgTM​(controlMacro​)

Макро-объект tapeMacro​ - это лента, и этот объект является материалом алгоритма:

MaterialAlgTM​(tapeMacro​)

Дополнительным материалом алгоритма является макро-объект innerMacro​, хранящий внутреннее состояние алгоритма:

MaterialAlgTM​(innerMacro​)

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