Различие формальных и неформальных исполнителей алгоритмов