Алгоритм и его формальное исполнение