- •Введение
- •Глава 1.Абстрактный автомат.
- •1.1.Модель абстрактного автомата
- •1.2.Типы конечных автоматов
- •1.3.Описание автомата
- •Контрольные вопросы и задачи
- •1.4.Эквивалентность автоматов.
- •1.5.Эквивалентность состояний детерминированного автомата.
- •1.6.Алгоритм минимизации детерминированного автомата.
- •1.7.Эквивалентность состояний недетерминированного автомата.
- •1.8.Алгоритм минимизации недетерминированного автомата.
- •Глава 2.Структурный автомат.
- •2.1.Произведение автоматов.
- •2.1.1.Последовательное соединение двух автоматов
- •2.1.2.Параллельное соединение двух автоматов
- •2.1.3.Обратная связь двух автоматов
- •2.2.Сумма автоматов
- •2.3.Автоматное моделирование алгоритмов.
- •2.3.1.Автомат Мили - модель управляющего автомата.
- •2.3.2. Автомат Мура - модель управляющего автомата.
- •2.4.Микропрограммный автомат.
- •2.5.Магазинный автомат.
- •Глава 3.Логическое проектирование автоматов
- •3.1.Логическое проектирование структурного автомата.
- •3.2.Кодирование алфавитов.
- •3.3.Выбор комбинационных автоматов.
- •3.4.Выбор элементов памяти - двоичной задержки.
- •3.5.Формирование функции выхода.
- •3.6.Формирование функции переходов.
- •3.7.Логическая схема автомата.
- •Индивидуальные задания
- •Предметный указатель
- •Литература
- •Глава 1. Абстрактный автомат. 4
- •1.1. Модель абстрактного автомата 4
- •1.2. Типы конечных автоматов 8
- •1.3. Описание автомата 12
- •Глава 2. Структурный автомат. 72
- •2.2. Сумма автоматов 86
- •2.3. Автоматное моделирование алгоритмов. 90
- •Глава 3. Логическое проектирование автоматов 116
- •3.7. Логическая схема автомата. 126
Предметный указатель
XE 4
автомат 3, 4
абстрактный 3, 4
автономный 10
бесконечный 8
вероятностный 7
детерминированный 7, 13
инициальный 7
комбинационный 12
конечный 3
магазинный 110
микропрограммный 106
Мили 8
минимальный 32
Мура 8
недетерминированный 7, 13
операционный 91
распознающий 11
структурный 3, 72
алгоритм
минимизации детерминированного автомата 35
минимизации недетерминированного автомата 57
алфавит
входной 4
выходной 4
состояний 4
выбор
комбинационных автоматов 117
элементов задержки 117
канал
входной 4
выходной 4
класс
неотличимых состояний 26
отличимых состояний 32
совместимых состояний 26
согласованных состояний 58
эквивалентных состояний 27
кодирование
алфавитов 117
микрокоманда 106
микрооперация 106
микропрограмма 106
множество
нетерминальных сомволов 4
терминальных символов 4
моделирование
алгоритмов 90
моменты
дискретного времени 4
оператор
автоматный 7
поведения 5
отношение
неотличимости 31
совместимости 31
отображение
гомоморфное 25
изоморфное 26
последовательность
выходных символов 4
состояний 4
построение
логической схемы 117
проектирование
автоматов логическое 116
произведение
автоматов 74
разметка
блок-схемы алгоритма 93
режим
асинхронный 73
синхронный 73
связь
обратная 84
система
рекуррентных соотношений 5
соединение
параллельное автоматов 72
последовательное автоматов 72
состояние 4
начальное 6
сумма
автоматов 86
схема
функциональная 7
функция
выхода 4
переходов 4, 5
эквивалентность
автоматов 25
недетерминированного автомата 50
Литература
Кузин Л.Т. Основы кибернетики. Учебное пособие для вузов. – М.: Энергия, 1979. – 584с.
Кузнецов О.П., Адельсон-Вельский Дискретная математика для инженера.- М.: Энергоатомиздат, 1988.-480с.
Математическая энциклопедия. Ред. коллегия: Виноградов и др.. – М.: “Советская энциклопедия”, 1977.
Пономарев В.Ф. Математические методы и модели в обработке информации и управлении. Методические разработки по разделу “Основы теории автоматов”. – Калининград: КТИРПиХ, 1992. – 72с.
Пономарев В.Ф. Основы дискретной математики. Учебное пособие. – Калининград: КГТУ, 1997. – 162с.
Пономарев В.Ф. Формальные языки и грамматики. Учебное пособие. – Калининград: КГТУ, 1998. – 76с.
Савельев А.Я. Прикладная теория цифровых автоматов. – М.: Высшая школа,1987.- 272с.
8. Самофалов К.Г. Прикладная теория цифровых автоматов. – Киев: “Вища школа”, 1987.- 375с.
9. Энциклопедия кибернетики. – Киев: Украинская советская энциклопедия, 1974.
Оглавление
ВВЕДЕНИЕ. 3