Как называется свойство алгоритма означающее что он задан с помощью таких предписаний которые исполн