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

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