Что значит формальное исполнение алгоритмов

Означает, что исполнитель такого алгоритма чаще всего, например, робот. Явным формальным исполнителем является компьютер.

Исполнитель формальный имеет определённый круг задач, среду, систему команд и режимы работы.

Грубо говоря, формально - по каким-то правилам и особенностям.