Объединение специализированных алгоритмов

Объединение специализированных алгоритмов

sergey shishkin

С использованием указанных выше специализаций появляется очевидный способ развития пространства, то есть получения в нём новых "сложных" алгоритмов. Этим способом является объединение уже существующих алгоритмов в последовательность, определяющую порядок выполнения под-алгоритмов (этапов) во времени. При этом есть множество способов этот порядок задать.

Порядок может основываться на обусловленности под-алгоритмов наличием объектов в некоторой локали, когда объектом-условием старта следующего этапа является объект-результат предыдущего этапа.

Еще одним способом выстроить последовательность в локали является внешний контроль близости объектов алгоритма, например, с использованием посетителей. Последовательность появления посетителей можно выстроить, например, с использованием удерживающей их конструкции, как это реализовано в рассмотренных далее свя́зных алгоритмах.

Реализация последовательности с использованием контроля близости предусматривает использование динамики или преобразования, удерживающих близко только объекты, которые должны взаимодействовать на текущем этапе алгоритма, и осуществляющие смену этапов.

Возможна смешанная реализация последовательности этапов совмещающая, например, контроль близости для посетителей-идентификаторов и обусловленность наличием промежуточных материалов.

В любом случае рассматриваемый тип развития объединением под-алгоритмов обеспечивается применением синтеза алгоритма методом 'Группировка'.

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

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

Report Page