2.5 Минимизация абстрактных цифровых автоматов
Абстрактный автомат, построенный по техническому заданию формальным или эвристическим методами, обычно не является минимальным по количеству состояний. Построение эквивалентного ему абстрактного цифрового автомата с наименьшим числом состояний и является задачей оптимизации. При минимизации числа состояний уменьшается стоимость как блока памяти автомата, так и его входной и выходной комбинационных схем.
Два полностью определённых автомата называются эквивалентными, если они индуцируют (производят) одно и то же отображение множества входных слов во множество выходных слов.
Частичный цифровой автомат индуцирует лишь частичное отображение множества входных с лов в выходные слова.
Два частичных автомата с одинаковыми алфавитами входа и выхода называются эквивалентными, если индуцируемые ими частичные отображения входных слов в выходные совпадают.
Полностью определённый автомат является частным случаем частичного автомата.
- Министерство образования и науки Российской Федерации
- Глава 1 6
- Глава 1 логические основы цифровых автоматов
- 1.1 Основные понятия алгебры логики
- 1.2 Базис и, или, не. Свойства элементарных функций алгебры логики
- 1.3 Способы описания булевых функций
- 1.3.1 Табличное описание булевых функций
- 1.3.2 Аналитическое описание булевых функций
- 1.3.3Числовая форма представления булевых функций
- 1.3.4 Графическая форма представления булевых функций
- 1.3.5 Геометрическое представление булевых функций
- 1.4 Минимизация функций алгебры логики
- 1.4.1 Минимизация с помощью минимизирующих карт
- 1.4.2 Минимизация функций алгебры логики по методу Квайна
- 1.4.3 Минимизация функций алгебры логики по методу Квайна - Мак-Класки
- 1.5 Элементная база для построения комбинационных схем
- 1.5.1 Логические элементы и, или, не
- 1.5.1.1 Логические элементы и и и-не (Позитивная логика)
- 1.5.1.2 Логические элементы или, или-не
- 1.5.2 Примеры технической реализации булевых функций
- 1.5.2.1 Функция исключающее-или (Сложение по модулю 2)
- 1.5.2.2 Минимизированная функция алгебры логики ф.(27) (Дешифратор второго рода)
- 1.5.3 Программируемые логические матрицы (плм)
- 1.5.3.1 Примеры плм
- 1.5.3.2 Процедуры программирования плм
- Глава 2 синтез цифровых автоматов
- 2.1 Определение абстрактного цифрового автомата
- 2.2 Методы описания цифровых автоматов
- 2.3 Синхронные и асинхронные цифровые автоматы
- 2.4 Связь между математическими моделями цифровых автоматов Мили и Мура
- 2.5 Минимизация абстрактных цифровых автоматов
- 2.5.1 Минимизация абстрактного автомата Мили
- 2.5.2 Минимизация абстрактного автомата Мура
- 2.6 Структурный синтез автоматов
- 2.6.1 Элементарные автоматы памяти
- 2.6.2 Синхронизация в цифровых автоматах
- 2.7 Структурный синтез цифровых автоматов по таблицам
- 2.8 Структурный синтез цифрового автомата по графу
- Заключение
- Литература
- Учебное пособие Техн. Редактор