Формальные исполнители, ну это , которые не понимают смысла алгоритма, а только выполняют указанные шаги и не могут их изменить : собака, не понимающая смысл команд, в общем - любые неодушевлённые исполнители. Неформальные - те, что понимают смысл алгоритма и могут вносить в него коррективы - скажем, человек.