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

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

---

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