Формальный описание алгоритма