Чем отличается формальный исполнитель от неформального?

Решение:

Формальный исполнитель — это исполнитель, который чётко выполняет команды алгоритма, не задумываясь и не допуская отклонений. Его действия строго определены. Неформальный исполнитель (например, человек) может интерпретировать команды, додумывать, допускать ошибки или действовать по своему усмотрению.