Обусловленность

Обусловленность задаётся пунктами 6-10 определения алгоритма, которые требуют наличия в локали:

(6) определённых параметров объектов (динамических параметров при исполнении);

(7) множества необходимых объектов, задаваемого их классами эквивалентности;

(8) отсутствия пересечения по объектам в двух исполнениях, происходящих в одно время;

(9) определённого исходного расположения (близости) необходимых объектов;

(10) определённых исходных связей между объектами.

Возможность обусловленных преобразований закреплена в признаках пространства (эффектность (E) и локальность (L)). Во множестве алгоритмов особое значение для развития пространства имеют те, в которых исполнение обусловлено сближением как минимум двух объектов инвариантного множества Exec\mathbb{Exec}Exec, что делает условием исполнения алгоритма близость этих объектов (то есть использование делимости (F) и эффектности (E)) в отличие от алгоритмов исполняющихся только под влиянием динамики (с использованием динамичности (D)).

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

Обусловленность

Report Page