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