Например, Бобцов

Приведение автоматного представления устройства дискретной автоматики к линейному векторно-матричному виду на основе агрегирования булевых термов

Аннотация:

Рассматривается задача конструирования линейного векторно-матричного (ВМ) описания автоматной версии УДА. Своим решением эта задача позволяет расширить класс представлений УДА, что тем самым, обеспечивает возможность доставлять УДА различные структурные и функциональные свойства. Показывается, что в концептуальной постановке поставленная задача может быть частично решена использованием принципа агрегирования булевых термов. Приводится пример.

Ключевые слова:

Статьи в номере