Что является свойством алгоритма:
конечность
возможность изменения последовательности команд
цикличность