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

Опишем структуру алгоритмов AlgStateRulejc,k​:

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

AlgStateRulejc,k​(ObjSR,t1…t2)ObjSR≡rulejc,k​Macro​ ∪ cellic​Macro​ ∪ next_moveMacro​ ∪ next_stateMacro​​

WorkerAlgStateRulejc,k​​(rulejc,k​Macro​)

MaterialAlgStateRulejc,k​​(cellic​Macro​,next_moveMacro​,next_stateMacro​)

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

[Letterk​](cellic​Macro​)

• результаты определяются программистом машины Тьюринга, который выбирает для каждого AlgStateRulejc,k​ значения для следующих параметров:
• k_result∈[1…K];
• m_result∈[1…4];
• j_result∈[1…N]

Letterk_result​](cellic​Macro​)

[Movem_result​](next_moveMacro​)

[Statej_result​](next_stateMacro​)

При этом используются следующие обозначения для движений:

• [Move1​]≡[MoveNone],
• [Move2​]≡[MoveLeft],
• [Move3​]≡[MoveRight],
• [Move4​]≡[MoveEnd]

Итак — описаны все элементы алгоритма машины Тьюринга, и формализация в терминах предлагаемой модели выполнена. Для текущей поставленной задачи: продемонстрировать способ формального описания способа преобразования, формируемого одним из образцов алгоритма — достаточно этого рассмотрения вычислительной машины Тьюринга. Более детальное описание разнородных средств реализации алгоритмов (в том числе и формализация нормального алгорифма Маркова) будет представлено в главе Искусственные исполнители формальных языков. А в следующей главе целесообразно разобрать другую сторону процессов алгоритмического пространства — обеспечение продолжительного во времени существования (то есть сохранения) для нового алгоритма, появившегося в некоторый момент в результате синтеза.

Проверить примеры терминов в сносках главы. Необходим ли пример записи алгоритмов формирования программистом машины Тьюринга начального состояния ленты, набора состояний управляющей машины и использование результата полученного в ленте? Нужен ли moverMacro​?

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