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

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

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

AlgMoveEnd(ObjMoveEnd,t2…t3)ObjMoveEnd≡moverMacro​ ∪ state_masMacro​ ∪ cellic​Macro​ ∪ next_moveMacro​​

WorkerAlgMoveEnd​(moverMacro​,state_masMacro​,cellic​Macro​)

MaterialAlgMoveEnd​(next_moveMacro​)

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

ConditionAlgMoveEnd​ ≡≡ [MoveEnd](next_moveMacro​)∧∧ Linkt2​(cellic​Macro​,state_masMacro​)​

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

ResultAlgMoveEnd​ ≡≡ [MoveNone](next_moveMacro​)∧∧ ¬Linkt3​(cellic​Macro​,state_masMacro​)​

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