Свойство определённости алгоритма означает обязательное получение определённого результата включение в него только команд, входящих в систему команд исполнителя его разделение на отдельные шаги (действия) пригодность для решения целого класса задач данного типа отсутствие неоднозначных команд