Визначено три умови для недетермінованих кінцевих автоматів: вхідна та початкова вкладеність і початкова розкладеність. Такі автомати названо недетермінованими кінцевими автоматами з вкладеністю. Указано, що такі автомати відповідають блочно-процедурним мовам програмування високого рівня.

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