Алгоритмический метод проектирования автоматизированных систем контроля в авиастроении
Abstract
Предложен метод проектирования автоматизированных систем контроля (АСК), основанный на алгоритмической алгебре, эффективность которого связана с использованием теории рекурсивных автоматов. Запропоновано метод проектування автоматизованих систем контролю (АСК), що ґрунтується на алгоритмічній алгебрі, ефективність якого пов'язана з використанням теорії рекурсивних автоматів.