Журнал электротехники и электронных технологий

Упрощение неполностью определенных последовательных машин

ВК Прасад

Упрощение неполностью определенных последовательных машин

Большинство книг для студентов и исследовательской литературы описывают методы, основанные на совместимых наборах, для сокращения количества состояний неполностью определенной синхронной/асинхронной последовательной машины. Отклоняясь от этого, в этой статье для этой цели используются несовместимые наборы состояний. Представлен простой метод для генерации всех максимальных несовместимых (совместимых) наборов из совместимых (несовместимых) пар состояний. Генерация максимальных несовместимых наборов имеет некоторые преимущества. 1) Наибольший набор говорит нам о количестве состояний наименьшей машины. Поэтому мы можем узнать, насколько «хороша» минимальная машина. 2) Мы можем узнать, необходима ли минимизация или нет. Затем она минимизируется с использованием улучшенной концепции минимальности. Символы состояний минимальной машины назначаются состояниям в несовместимых наборах таким образом, что никакие два несовместимых состояния не получают один и тот же символ. Этот подход дает минимальную машину по сравнению с некоторыми методами для синхронных машин , которые пробуют несколько возможностей. Приводится пример, показывающий, что обычная минимальная машина может быть неминимальной относительно минимальности, введенной здесь. Улучшенная минимальность имеет тенденцию давать наименьшую машину.