Утверждение "На каждом шаге алгоритма у исполнителя должно быть достаточно информации, чтобы его выполнить" выражает свойство определённости.

Давайте разберем это свойство подробнее:

• Определённость означает, что каждый шаг алгоритма четко описан и не оставляет места для двусмысленности. Исполнитель должен точно знать, что ему делать на каждом этапе выполнения алгоритма.
• Если алгоритм обладает определённостью, это значит, что для каждой возможной ситуации или состояния, в котором может находиться исполнитель, есть ясные и однозначные инструкции.

Теперь рассмотрим другие свойства, чтобы понять, почему именно определённость отвечает на заданный вопрос:

• Дискретность означает, что алгоритм состоит из конечного числа четко определенных шагов, но это не гарантирует наличие информации на каждом шаге.
• Массовость подразумевает, что алгоритм может быть применен к большому числу входных данных или задач, но также не затрагивает вопрос информации на каждом шаге.
• Детерминированность означает, что при одинаковых входных данных алгоритм всегда будет давать одинаковый результат, но опять же это не связано с наличием информации на каждом шаге.

Таким образом, свойство определённости является ключевым для понимания того, что на каждом шаге алгоритма у исполнителя должна быть достаточная информация для выполнения задания.