Создавать алгоритм исполнителю можно только с использованием его системы команд. Да/нет
Формальный исполнитель анализирует правильность алгоритма. Да/нет
Человек не может быть исполнителем. Да/нет