Обусловленность
sergey shishkinОбусловленность задаётся пунктами 6-10 определения алгоритма, которые требуют наличия в локали:
- (6) определённых параметров объектов (динамических параметров при исполнении);
- (7) множества необходимых объектов, задаваемого их классами эквивалентности;
- (8) отсутствия пересечения по объектам в двух исполнениях, происходящих в одно время;
- (9) определённого исходного расположения (близости) необходимых объектов;
- (10) определённых исходных связей между объектами.
Возможность обусловленных преобразований закреплена в признаках пространства (эффектность (E) и локальность (L)). Во множестве алгоритмов особое значение для развития пространства имеют те, в которых исполнение обусловлено сближением как минимум двух объектов инвариантного множества Exec\mathbb{Exec}Exec, что делает условием исполнения алгоритма близость этих объектов (то есть использование делимости (F) и эффектности (E)) в отличие от алгоритмов исполняющихся только под влиянием динамики (с использованием динамичности (D)).
Фиксация конкретных обуславливающих исполнение алгоритма значений близости, связей и параметров объектов может быть выполнена по тождественности образцу, которым может быть любое исполнение алгоритма. Выполнение фиксации стартовых параметров образцом подводит нас к следующему свойству алгоритма — повторимости.