Охарактеризовано клас специфікацій в мові <$E roman L sup *>, що специфікують автомати зі скінченною пам'яттю. Обгрунтовано перетворення будь-якої специфікації в мові <$E roman L sup *> в еквівалентну у певному розумінні специфікацію, що специфікує автомат зі скінченною пам'яттю.

 Наукова періодика України 

---

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