Об автоматной модели преследования

Изучается процесс преследования системой автоматов (хищников) нескольких независимых друг от друга автоматов (жертв) на плоскости. Показано, что существует конечный коллектив хищников, который ловит любую конечную независимую систему жертв таких, что их скорость меньше скорости хищников, и их обзор не больше обзора хищников, при любом начальном расположении жертв и стартующих из одной точки хищников.