Осуществимость

Осуществимость задаётся условиями в пунктах 1-5, 11-12 определения алгоритма, которые требуют реализуемости в пространстве:

• (1, 5) локальности множества объектов алгоритма;
• (2) независимого преобразования объектов алгоритма, в случае когда они являются под-объектами внешних к алгоритму макро-объектов;
• (3, 11) выделения инвариантной во времени части алгоритма;
• (4, 12) фиксированного изменения участвующими объектами своих связей и динамических параметров (преобразованиями во взаимодействии согласно эффектности (E) и движениями согласно динамичности (D)).

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