Розглянуто вплив властивостей прозорих та непрозорих тригерів на складність формальних методів синтезу керуючих автоматів. Викладено перетворення алгоритмічних описів автоматів з урахуванням часових характеристик сигналів. Ці перетворення призводять до простих, прозорих, зручних для автоматизації методів логічного проектування керуючих автоматів.

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