Гудилин А.Е., Барбасова Т.А. Теория цифровых автоматов

ВВЕДЕНИЕ.
ЛОГИЧЕСКИЕ ОСНОВЫ ЦИФРОВЫХ АВТОМАТОВ.
Основные понятия алгебры логики.
Базис И, ИЛИ, НЕ. Свойства элементарных функций алгебры логики.
Способы описания булевых функций.
Табличное описание булевых функций.
Аналитическое описание булевых функций.
Числовая форма представления булевых функций.
Графическая форма представления булевых функций.
Геометрическое представление булевых функций.
Минимизация функций алгебры логики.
Минимизация с помощью минимизирующих карт.
Минимизация функций алгебры логики по методу Квайна.
Минимизация функций алгебры логики.
по методу Квайна - Мак-Класки.
Элементная база для построения комбинационных схем.
Логические элементы И, ИЛИ, НЕ.
Примеры технической реализации булевых функций.
Программируемые логические матрицы (ПЛМ).
СИНТЕЗ ЦИФРОВЫХ АВТОМАТОВ.
Определение абстрактного цифрового автомата.
Методы описания цифровых автоматов.
Синхронные и асинхронные цифровые автоматы.
Связь между математическими моделями.
цифровых автоматов Мили и Мура.
Минимизация абстрактных цифровых автоматов.
Минимизация абстрактного автомата Мили.
Минимизация абстрактного автомата Мура.
Структурный синтез автоматов.
Элементарные автоматы памяти.
Синхронизация в цифровых автоматах.
Структурный синтез цифровых автоматов по таблицам.
Структурный синтез цифрового автомата по графу.
МИКРОПРОГРАММНЫЕ АВТОМАТЫ.
Декомпозиция устройств обработки цифровой информации.
Управляющие автоматы.
Принцип действия управляющего автомата с хранимой в памяти логикой и микропрограммное управление.
Горизонтальное микропрограммирование.
Вертикальное микропрограммирование.
Смешанное микропрограммирование.
Управляющие автоматы с «жёсткой логикой».
Граф - схемы микропрограммных автоматов.
Синтез микропрограммных автоматов по граф - схеме алгоритма.
Синтез микропрограммного автомата Мили.
Синтез микропрограммного автомата Мура.
Минимизация микропрограммных автоматов.
Заключение.