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