Теория автоматов

Содержание книги "Теория автоматов "

Введение
1. ОБЩИЕ СВЕДЕНИЯ О ЦИФРОВЫХ АВТОМАТАХ
1.1. Понятие цифрового автомата
1.2. Классификация цифровых автоматов
1.3. Абстрактный автомат
1.4. Автоматы Мили и Мура
1.5. Комплексный автомат (С-автомат)
1.6. Свойства и характеристики автоматов
1.7. Упражнения
1.8. Контрольные вопросы
2. МИНИМИЗАЦИЯ АВТОМАТОВ
2.1. Эквивалентность цифровых автоматов
2.2. Минимизация полностью определенного автомата
2.3. Минимизация не полностью определенного автомата
2.4. Упражнения
2.5. Контрольные вопросы
3. ДЕКОМПОЗИЦИЯ АВТОМАТОВ
3.1. Декомпозиция автомата при наличии СП-разбиений
3.2. Декомпозиция автомата при отсутствии СП-разбиений
3.3. Упражнения
3.4. Контрольные вопросы
4. СЕТЬ АБСТРАКТНОГО АВТОМАТА
4.1. Соединение автоматов
4.1.1. Последовательное соединение автоматов
4.1.2. Параллельное соединение автоматов
4.1.3. Соединение автоматов с обратной связью
4.2. Методика соединения автоматов в сеть
4.3. Кодирование автоматов
4.4. Упражнения
4.5. Контрольные вопросы
5. СИНТЕЗ СХЕМ АВТОМАТОВ НА ОСНОВЕ ЛОГИЧЕСКИХ ФУНКЦИЙ
5.1. Логические функции и их минимизация
5.1.1. Аксиомы булевой алгебры
5.1.2. Теоремы с одной переменной
5.1.3. Теоремы с несколькими переменными
5.1.4. Совершенная дизъюнктивная нормальная форма (СДНФ)
5.1.5. Совершенная конъюнктивная нормальная форма (СКНФ)
5.1.6. Карты Карно
5.1.7. Метод Квайна
5.2. Синтез схемы в заданном базисе логических функций
5.3. Упражнения
5.4. Контрольные вопросы
6. УПРАВЛЯЮЩИЕ АВТОМАТЫ
6.1. Формальные языки и грамматики абстрактных автоматов
6.2. Основные понятия программного автомата
6.3. Микропрограммные автоматы
6.4. Цифровые функциональные узлы
6.4.1. Схемы сложения
6.4.2. Вычитание
6.4.3. Компараторы
6.4.4. Арифметико-логическое устройство
6.4.5. Схемы сдвига
6.4.6. Схемы умножения
6.4.7. Схемы деления
6.5. Автоматы Мура и Мили в синхронных схемах
6.6. Упражнения
6.7. Контрольные вопросы
7. ОБЩИЕ ВОПРОСЫ ИССЛЕДОВАНИЯ АВТОМАТОВ
7.1. Эксперименты над синтезированными автоматами
7.2. Проектирование автоматов
7.3. Основы языка описания аппаратуры SystemVerilog
7.3.1. Комбинационная логика
7.3.2. Структурное моделирование
7.3.3. Последовательностная логика
7.3.4. Проектирование и синтез конечного автомата на языке SystemVerilog
7.4. Упражнения
7.5. Контрольные вопросы
8. ИСПОЛЬЗОВАНИЕ SWITCH-ТЕХНОЛОГИЙ ПРИ СИНТЕЗЕ УПРАВЛЕНИЯ «РЕАКТИВНЫХ» СИСТЕМ С БОЛЬШИМ ЧИСЛОМ ЭЛЕМЕНТОВ
8.1. Парадигма автоматного проектирования
8.2. Автоматный подход к созданию программного обеспечения
8.3. Достоинства автоматного подхода
8.4. Реализация и инструментальные средства
Список использованных источников
ПРИЛОЖЕНИЕ А. Проектирование в САПР Quartus II