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