Формальная постановка задачи структуризации алгоритмов