Контрольная работа: Абстрактные цифровые автоматы
Выполним разбиение 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. Самофалов К.Г., Романкевич А.М., и др. Прикладная теория цифровых
автоматов. - Киев. “Вища школа" 1987.
2. Соловьев Г.Н. Арифметические устройства ЭВМ. - М. “Энергия”. 1978.
3. Савельев А.Я. Прикладная теория цифровых автоматов - М. “Высшая школа”.
1987.
4. Каган Б.М. Электронные вычислительные машины и системы. - М. Энергоатомиздат.
1985.
5. Лысиков Б.Г. Арифметические и логические основы цифровых автоматов.
- Минск. “Вышэйшая школа”. 1980.
|