Под-алгоритм AlgMoveLeft

Опишем алгоритм AlgMoveLeft:

• формула объектов:

AlgMoveLeft(ObjMoveLeft,t2…t3)ObjMoveLeft≡moverMacro​ ∪ state_masMacro​ ∪ cellic−1, ic​Macro​ ∪ next_moveMacro​​

WorkerAlgMoveLeft​(moverMacro​,state_masMacro​,cellic−1, ic​Macro​)

MaterialAlgMoveLeft​(next_moveMacro​)

• стартовые условия:

ConditionAlgMoveLeft​ ≡≡ [MoveLeft](next_moveMacro​)∧∧ Linkt2​(cellic​Macro​,state_masMacro​)​

• результаты:

ResultAlgMoveLeft​ ≡≡ [MoveNone](next_moveMacro​)∧∧ ¬Linkt3​(cellic​Macro​,state_masMacro​)∧∧ Linkt3​(cellic−1​Macro​,state_masMacro​)​

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