Простой алгоритм для формального исполнителя