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

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