Лекции по теории автоматов
Достоинства и недостатки.
Достоинства ГСА – наглядность.
Недостатки ГСА – громоздкость,
- сложность представления в машинных кодах.
Линейный алгоритм.
| Y1 | Y2 | . . . . | Yk |
Y0 | 1 |
|
|
|
Y1 |
| 1 |
|
|
. . . |
|
| . . . |
|
Yk-1 |
|
|
| 1 |
|
|
|
|
|
Переход из Yi Yj - 1
5 cтрок, 5 столбцов.
| Y1 | Y2 | Y3 | Y4 | Yk |
Y0 | 1 |
|
|
|
|
Y1 |
| X1 | X1 X2 | X1 X2 |
|
Y2 |
|
|
|
| 1 |
Y3 |
|
|
|
| 1 |
Y4 |
|
|
|
| 1 |
X1 v X1 X2 v X1 X2
Y0
Условия корректности:
1. Отсутствие пустых строк и столбцов.
2. В каждой строке объединение по «или» всех логических условий должно приводить к 1.
3. Эти два условия одновременно проверяют достижимость оперативных вершин и наличие пути из них в конечную.
Достоинства: удобно хранить в памяти компьютера.
Недостатки: очень громоздок, при большом количестве операторов.
Содержание
- Теория автоматов. Уровни представления эвм.
- Операционные элементы. (оэ)
- Процессор гса:
- Достоинства и недостатки.
- Операционное устройство для выполнения операций алгебраического сложения двоичных чисел.
- Суммирование при использовании прямого кодирования.
- Суммирование чисел при использовании обратного кода.
- Дополнительный код.
- Модифицированный код.
- Пример суммирования.
- Конечные автоматы.
- Теория конечных автоматов
- Способы задания функций переходов.
- Автоматы ( с выходным преобразователем)
- Способы задания автоматов
- Способы задания автомата Миля
- Преобразование автоматов из Миля в Мура и обратно Понятие эквивалентности автоматов
- Преобразование Мура в Миля
- Техника преобразований.
- Обратный переход. Построение Мура для заданного Миля.
- Частичные или не полностью определенные автоматы.
- Синтез конечных автоматов.
- Абстрактный синтез конечных автоматов.
- Построение дерева входных последовательностей.
- Структурный этап синтеза автоматов.
- Основные этапы структурного синтеза.
- Типы памяти.
- Основные типы триггеров.
- Пример структурного синтеза синхронного автомата.
- `Временная диаграмма.
- Этап минимизации автомата при абстрактном синтезе. Минимизация полностью определенного автомата.
- Алгоритмы минимизации на основе треугольной матрицы.
- Минимизация числа состояний частичного автомата.
- Минимизация частичного автомата.
- Абстрактный этап синтеза конечного автомат. (неканонический метод).
- Алгоритм перехода от граф схемы микропрограммы к автомату Мура.
- Учет взаимодействия проекционного и управляющего автоматов. Алгоритм получения.
- Алгоритм получения частичного автомата.
- Множество входных значений.
- Кодирование состояний синхронного автомата.
- Кодирование соседними кодами.
- Минимизация числа переключений элементов памяти.
- Универсальный способ кодирования (для синхронного автомата).
- Автомат с дешифратором.
- Асинхронные автоматы.
- Этапы синтеза асинхронного автомата.
- Реализация асинхронного rs триггера на логических элементах.
- Установочные входы в триггерах.
- Синхронные элементы памяти.
- Требования, предъявляемые к синхросигналу.
- Синтез синхронного rs триггера.
- Синтез триггера с задержкой.Реализация асинхронного t триггера.
- Исключение состязаний элементов памяти в синхронных автоматах.
- Структура автоматов на плм и пзу.
- Явление рисков в комбинационных узлах.
- Исключение влияние рисков.
- Построение схем без риска.
- Алгоритм построения схемы без рисков по днф.
- Алгоритм построения схемы без риска.
- Автоматы, языки и грамматики.
- Задача распознавания цепочек языка.
- Классификация грамматик по Хомскому.
- Примеры построения грамматик.
- Грамматика для выполнения арифметических операций.
- Соответствие конечных автоматов и автоматных грамматик.
- Этапы для заданной автоматной грамматики.
- Этапы для заданной автоматной грамматики.
- Недетерминированные конечные автоматы.
- Преобразование недетерминированного автомата в детерминированный.
- Преобразование некоторых типов грамматики к автоматному ввиду.
- Алгоритм получения правил, не содержащих правил вывода нетерминальных символов.
- Построение распознавателей и преобразователей.
- Построение распознавателей.
- Алгоритм построения преобразователя.