Запропоновано підхід до синтезу автомата, який специфіковано логічною формулою у кон'юнктивній нормальній формі (КНФ). З цією метою використано метод синтезу автомата за специфікацією, яку подано у диз'юнктивній нормальній формі (ДНФ), а синтез проведено без перетворення КНФ у ДНФ. Завдяки цьому запропонований метод має ту ж саму ефективність, що й метод, на якому він базується.

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