- •Воронежский государственный технический университет
- •(Часть 1) Учебное пособие
- •Глава 1. Становление теории автоматов и ее основные задачи
- •Взаимосвязь теории автоматов и других научно-технических направлений
- •Подходы к определению конечного автомата.
- •Сущность метода "черного ящика".
- •Основные задачи теории автоматов
- •Глава 2. Формальная классификация абстрактных автоматов и их математические модели.
- •2.1 Словесные определения автоматов.
- •2.4.3 Модель совмещенного автомата (с-автомата)
- •2.4.4 Модель микропрограммного автомата
- •Глава 3 Структурные модели первого уровня абстрактных автоматов
- •3.1. Структурная модель автомата Мили
- •3.2. Структурная модель автомата Мура
- •3.3 Структурная модель с - автомата
- •3.4 Структурная модель микропрограммного автомата
- •Глава 4. Способы задания абстрактных и структурных автоматов.
- •Глава 5 Минимизация абстрактных автоматов
- •Глава 6. Математические основы алгебры логики
- •Теоремы алгебры логики
- •6.4.1 Словесная форма представления логических функций
- •6.4.3 Аналитическая форма представления логических функций
- •6.4.4 Геометрическая и кубическая формы представления
- •2.4.3 Модель совмещенного автомата………………25
- •Глава 5 Минимизация абстрактных автоматов……………..58
- •Глава 6. Математические основы алгебры логики……...…70
- •Учебное издание
- •394026 Воронеж, Московский просп.,14
2.4.3 Модель совмещенного автомата………………25
2.4.4 Модель микропрограммного автомата………..27
ГЛАВА 3. Структурные модели первого уровня абстрактных автоматов…………………………………………...…..28
3.1. Структурная модель автомата Мили………………28
3.2. Структурная модель автомата Мура…………...….30
3.3 Структурная модель совмещенного автомата……..31
3.4 Структурная модель микропрограммного автомта.32
ГЛАВА 4. Способы задания абстрактных и структурных автоматов…………………………………………………….33
4.1 Начальные языки………………………………...…..34
4.1.1Язык регулярных выражений алгебры собтий..34
4.1.2 Язык логических схем………………………….35
4.1.3 Язык граф – схем алгоритмов………………....36
4.1.4 Язык схем алгоритмов…………………………39
4
96
95
4.2.1 Таблицы переходов и выходов…………….…41
4.2.2 Матрицы переходов и выходов………………..43
4.2.3 Граф автомата…………………………………..44
4.3 Язык алгебры логики (булевой алгебры)…………..46
4.4 Язык временных диаграмм………………………….48
Глава 5 Минимизация абстрактных автоматов……………..58
Глава 6. Математические основы алгебры логики……...…70
6.1 Формальное определение алгебры логики………..70
6.2 Аксиомы, теоремы и законы алгебры логики……..71
6.2.1 Аксиомы алгебры логики……………………..72
6.2.2 Теоремы алгебры логики………………………73
6.2.3 Законы алгебры логики………………………...73
Основные понятия и определения………….…..75
6.4 Формы представления логических функций……...81
6.4.1 Словесная форма представления логических функций…………………………………………81
6.4.2 Табличная форма представления логических функций…………………………………………82
6.4.3 Аналитическая форма представления логических функций…………………………………………87
6.4.4 Геометрическая и кубическая форма представления логических функций……………………91
БИБЛИОГРАФИЧЕСКИЙ СПИСОК …………………………..94
97
Учебное издание
Тюрин Сергей Владимирович
ЭЛЕМЕНТЫ ТЕОРИИ АВТОМАТОВ
(Часть 1)
Компьютерный набор С.В. Тюрина
ЛР № 066815 от 25.08.99. Подписано к изданию 25.12.2002.
Уч-изд.л. 6,1.
Воронежский государственный технический университет
394026 Воронеж, Московский просп.,14
СПРАВОЧНИК МАГНИТНОГО ДИСКА
(кафедра автоматизированных и вычислительных систем)
С.В. Тюрин
ЭЛЕМЕНТЫ ТЕОРИИ АВТОМАТОВ
(Часть 1)
Учебное пособие
Элементы ТА.doc 1 352 192 байт 27.12.2002
(наименование файла) (объем файла) (дата)