Розглянуто задачу невідмінності скінченних автоматів, які взаємодіють з одним і тим же середовищем. Запропоновано метод побудови ефективних середовищ, для яких ця задача алгоритмічно розв'язувана. Наведено приклад неефективного геометричного середовища.

  Якщо, ви не знайшли інформацію про автора(ів) публікації, маєте бажання виправити або відобразити більш докладну інформацію про науковців України запрошуємо заповнити "Анкету науковця"