Выполним разбиение 2.
1={D1, D2, D3, D4};
D1={a1, a2, a8}, D2={а6, а9, а11}, D3={ а10, a12}, D4={а3, а4, a5, a7}.
Разбиение 2 повторяет разбиение 1 - процедура разбиения завершена.
Выберем произвольно из каждого класса эквивалентности D1, D2, D3, D4 по одному представителю - в данном случае по минимальному номеру: A'={a1, а3, a6, а10}.
Удаляя из исходной таблицы переходов "лишние" состояния, определяем минимальный автомат Мура (табл.1.15.)
Таблица 1.15.
| У | y1 | y3 | y2 | y2 |
| А | a1 | a3 | a6 | a10 |
| х1 | a10 | a3 | a3 | a1 |
| х2 | a3 | a6 | a6 | a1 |
В процессе выполнения контрольной работы мы ознакомились с основными понятиями абстрактных цифровых автоматов; типами абстрактных автоматов; способами задания абстрактных автоматов; связью между моделями Мили и Мура; эквивалентными автоматами и эквивалентными преобразованиями автоматов; минимизацией числа внутренних состояний автомата и алгоритмом Ауфенкампа-Хона - привели примеры. Перейти на страницу: 1 2 3
Другое по теме:
Линейные метрические, нормированные и унитарные пространства При решении многих технических и прикладных задач радиотехники возникают вопросы: как объективно сравнить какой сигнал больше другого или как оценить "близость" двух сигналов. Оказывается, что методы функционального анализа, созд ...