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

Настраиваемый пользователем алгоритм AlgStatejc​ анализирует содержимое текущей ячейки и может поменять это содержимое, инициализировать переход в другое состояние, инициализировать смещение к одной из соседних ячеек, инициировать завершение выполнения алгоритма AlgTM.

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

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

AlgStatejc​(ObjSj,t1…t2)ObjSj≡statejc​Macro​ ∪ cellic​Macro​ ∪ next_moveMacro​ ∪ next_stateMacro​​

WorkerAlgStatejc​​(statejc​Macro​)

MaterialAlgStatejc​​(cellic​Macro​,next_moveMacro​,next_stateMacro​)

В общем случае в statejc​Macro​ выделимы K правил преобразования k∈[1…K]:rulejc,k​Macro​⊂statejc​Macro​.

• реализация группировкой:

Реализация алгоритма AlgStatejc​ производится методом группировки под-алгоритмов AlgStateRulejc,k​.

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