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