98–106 ДИСКРЕТНЫЕ СИСТЕМЫ УДК 004.312.4 МИНИМИЗАЦИЯ КОНЕЧНЫХ АВТОМАТОВ МИЛИ ПУТЕМ ИСПОЛЬЗОВАНИЯ ЗНАЧЕНИЙ ВЫХОДНЫХ ПЕРЕМЕННЫХ ДЛЯ КОДИРОВАНИЯ ВНУТРЕННИХ СОСТОЯНИЙ1 © 2017 г. В. В. Соловьев Польша, Белосток, Белостокский технологический ун-т e-mail: valsol@mail.ru Поступила в редакцию 27.07.15 г. После доработки 15.10.16 г. Рассмотрены структурные модели конечных автоматов, которые позволяют использовать значения выходных переменных в качестве кодов внутренних состояний. <...> Предлагается применить структурную модель автомата класса D для минимизации стоимости реализации автомата Мили. <...> Представлен метод синтеза автомата класса D на программируемых логических интегральных схемах, который состоит из двух этапов: расщепления внутренних состояний конечного автомата (для выполнения необходимых условий построения автомата класса D) и кодирования внутренних состояний (для обеспечения взаимной ортогональности кодов). <...> Показано, что предложенный метод позволяет снизить стоимость реализации рассматриваемого конечного автомата для всех семейств программируемых логических интегральных схем различных производителей в среднем в 1.41–1.72 раза, а для отдельных семейств – в 2 раза. <...> Конечные автоматы также широко используются как отдельные узлы в качестве контроллеров и устройств управления. <...> В качестве критериев оптимизации конечных автоматов обычно выступают стоимость реализации, быстродействие и энергопотребление. <...> В настоящее время для построения цифровых систем широко используются программируемые логические интегральные схемы (ПЛИС), поэтому многие методы оптимизации конечных автоматов ориентированы на реализацию конечных автоматов на ПЛИС. <...> В [4] предлагается алгоритм символьной функциональной декомпозиции конечных автоматов при их реализации на ПЛИС, которая подобна аналогичной декомпозиции булевых функций. <...> Архитектура современных ПЛИС включает блоки памяти, поэтому методы синтеза конечных автоматов [5–7] ориентированы <...>