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