Читать фрагмент

книга

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

Автор: Валерий Атрощенко, Надежда Чигликова, Надежда Сальникова

Приведены основные положения в области теории автоматов, обобщен практический опыт предприятий, включены результаты научных исследований авторов, учтены требования документов в области информационных систем.Для студентов направления подготовки 09.03.01 «Информатика и вычислительная техника», а также преподавателей, специалистов в области информационных технологий, магистрантов.

Форматы: PDF

Издательство: Инфра-Инженерия

Год: 2025

Место издания: Москва, Вологда

ISBN: 978-5-9729-2486-8

Страниц: 296

Артикул: 110516

Возрастная маркировка: 16+

Электронная книга

1520 ₽

Купить и скачать

Содержание

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

Введение

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

Внимание!
При обнаружении неточностей или ошибок в описании книги "Теория автоматов (автор Валерий Атрощенко, Надежда Чигликова, Надежда Сальникова)", просим Вас отправить сообщение на почту help@directmedia.ru. Благодарим!