Формальное исполнение алгоритма босова