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

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