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

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