Creation of programs through a hierarchical automatic model

У статті пропонується метод новий метод створення програм за допомогою ірархічної моделі кінцевого автомату. При цьому спочатку будується логічна модель програми у вигляді кінцевого автомату, а далі вико- нується її створення та верифікація. Стани автомату відображають виконання елементарних дій, які можуть бути описані мовою програмування високого рівня.In this article new methods of creating programs by means of hierarchical model of the finite automate is proposed.On such model firstly the logical model of program, like for finite automate is created and performed its verification.States of automate reflect elementary actions which may be describes on the high level program language and then be linked into single program