диз'юнктивні нормальні форми, ДНФ, дизъюнктивные нормальные формы ; мінімізація, минимизация, minimization ; матриці, матрицы, matrices ; скінченні автомати, СА, конечные автомати, КА

Цель работы - разработка формализованных методов синтеза конечных автоматов с учетом особенностей их матричной реализации. Цель достигается: - совместным решением задач минимизации числа внутренних состояний и их кодирования, позволяющим сократить длину кода; - совместным решением задач минимизации числа внутренних состояний, их кодирования и минимизации систем функций возбуждения и выходов в классе дизъюнктивной нормальной формы (ДНФ), позволяющим представить логическую структуру синтезируемого автомата в виде ДНФ системы булевых функций с минимальным числом различных членов; - эффективной организацией перебора при решении логико-комбинаторных задач больших размеров, позволяющей автоматизировать логический синтез конечных автоматов реальной сложности.

• УДК // Автомати
• УДК // Цифрові (або переважно цифрові) системи, машини, обладнання