Алгоритм исследования метода оптимизации управляющего автомата. Генерация формального описания. Доказательство эквивалентности моделей автоматов. Анализ отчетов верификации и синтеза. Описание метода, основанного на замещении символов входного алфавита.
При низкой оригинальности работы "Методика исследования способов оптимизации управляющих автоматов в базисе ПЛИС FPGA", Вы можете повысить уникальность этой работы до 80-100%
