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