Специализация локальности
sergey shishkinРассмотрим специализацию по постоянству наличия объектов алгоритма в некоторой локали Locti…tj.
Это даст нам две специализации объектов алгоритма: резидент и посетитель.
Такая специализация возможна в алгоритмах, объекты которых имеют отличия по мобильности и по количественной представленности в локалях, где исполняются эти алгоритмы.
Резидент - специализированный объект r алгоритма AlgR, который всегда присутствует в локали Locti…tj.
(Alg,t1…t2),r∈Alg
∀t∈[ti…tj]:r∈Loct
Для обозначения факта, что объект robjr является резидентом алгоритма AlgR в локали Locti…tj введем запись ResidentAlgR(objr,Locti…tj).
Посетитель - объект v алгоритма AlgV, который присутствует в локали Locti…tj в конкретный момент времени tv, а в остальные моменты отсутствует. Появление посетителя в локали может быть вызвано динамикой и преобразованиями.
AlgV(Alg,t1…t2),v∈Alg
∃tv∈[ti…tj],∀t∈[ti…tj]:(v∈Loct)=(t=tv)
Для обозначения факта, что объект vobjv является посетителем алгоритма AlgV в локали Locti…tj введем запись VisitorAlgV(objv,Locti…tj).
Если совместить специализацию локальности и специализацию константности, то в зависимости от типа посетителей получаются алгоритмы, исполнение которых в локали контролируется:
- появлением посетителя-материала;
- появлением посетителя-работника;
Если исполнение в локали контролируется и посетителями-материалами, и посетителями-работниками, то специализация локальности вырождается в общий случай контролируемого близостью алгоритма.
Для алгоритмов, обусловленных посетителями-работниками, возможны дальнейшие специализации, например, минимизация участия посетителя-работника в исполнении, при котором отсутствует его непосредственное взаимодействие с материалами.
Резидент может быть представлен примерами:
- хромосомы в живой клетке;
- содержимое ячеек ленты в машине Тьюринга;
- станки ЧПУ на промышленном производстве некоторого завода;
- триггеры, хранящие состояние в ячейке памяти ЭВМ.
Посетитель может быть представлен примерами:
- кислород и вещества, обеспечивающие питание клетки в многоклеточном организме;
- гормон, доставляемый в клетку и регулирующий её жизнедеятельность в многоклеточном организме;
- вирус, попадающий в организм;
- строитель, приходящий на место строительства здания;
- процессор, обращающийся к элементу памяти;
- управляющий блок в машине Тьюринга, по отношению к содержимому ячейки ленты.