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

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