Рассмотрен метод структурного синтеза автоматов допускового контроля (АДК), автоматные операторы которые заданы в виде информативного конечного дерева. В основу данного метода, названного "методом исключения финальных вершин", положены лемма и теорема, позволяющие непосредственно поп автоматному оператору АДК находить минимальную ДНФ переключательной функции.

Радиоэлектроника летательных аппаратов [Текст] : научно-технич. сб. / ХАИ. — Х. : ХАИ, 1973. — 193 с.

• Праці співробітників ХАІ // Грецов В.Л.
• Праці співробітників ХАІ // Краснопоясовський А.С./Краснопоясовский А.С.
• Праці співробітників ХАІ // Кузьмін І.В./Кузьмин И.В.
• Праці співробітників ХАІ // Праці співробітників ХАІ/Труды сотрудников ХАИ
• УДК // Точна механіка та автоматика