Вивчаються властивості, можливо, нескінченного класу ініціальних скінченних автоматів, коли кожен вхід-вихідний сигнал із фіксованої множини породжують не більше як одним станом. Знайдено точні умови скінченності цього класу та його важливих підкласів, а також точні умови існування контрольних експериментів щодо цих класів. Далі визначено умови існування експериментів, що розпізнають такі автомати.

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