Свойства алгоритмов

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

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

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

Как называется свойство алгоритма, означающее, что данный алгоритм применим к решению целого класса задач?

Как называется свойство алгоритма, означающее, что он всегда приводит к результату через конечное, возможно, очень большое, число шагов?