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