Конечные автоматы.
Все цифровые устройства делятся на два класса:
1. Комбинационные устройства.
2. Последовательные устройства (автоматы).
Комбинационные устройства вырабатывают выходные сигналы, в зависимости от значений входных и не связаны со временем поступления входных сигналов. Один и тот же входной сигнал преобразовывается в один и тот же выходной сигнал, в зависимости от времени поступления.
Эти устройства описываются с помощью переключательных функций. (форменные представления которых являются таблицы истинности, карты Карно.)
Последовательностные устройства вырабатывают выходные сигналы, зависящие не только от входных сигналов, поступающих в данный момент, но и от предыстории ранее, т.е. от входных сигналов, поступающих ранее, для хранения предыстории эти устройства обладают памятью, а следовательно их называют схемами с памятью.
Эти устройства перерабатывают последовательность входных сигналов в последовательность выходных.
Описанием этих устройств занимается теория конечных автоматов.
- Теория автоматов. Уровни представления эвм.
- Операционные элементы. (оэ)
- Процессор гса:
- Достоинства и недостатки.
- Операционное устройство для выполнения операций алгебраического сложения двоичных чисел.
- Суммирование при использовании прямого кодирования.
- Суммирование чисел при использовании обратного кода.
- Дополнительный код.
- Модифицированный код.
- Пример суммирования.
- Конечные автоматы.
- Теория конечных автоматов
- Способы задания функций переходов.
- Автоматы ( с выходным преобразователем)
- Способы задания автоматов
- Способы задания автомата Миля
- Преобразование автоматов из Миля в Мура и обратно Понятие эквивалентности автоматов
- Преобразование Мура в Миля
- Техника преобразований.
- Обратный переход. Построение Мура для заданного Миля.
- Частичные или не полностью определенные автоматы.
- Синтез конечных автоматов.
- Абстрактный синтез конечных автоматов.
- Построение дерева входных последовательностей.
- Структурный этап синтеза автоматов.
- Основные этапы структурного синтеза.
- Типы памяти.
- Основные типы триггеров.
- Пример структурного синтеза синхронного автомата.
- `Временная диаграмма.
- Этап минимизации автомата при абстрактном синтезе. Минимизация полностью определенного автомата.
- Алгоритмы минимизации на основе треугольной матрицы.
- Минимизация числа состояний частичного автомата.
- Минимизация частичного автомата.
- Абстрактный этап синтеза конечного автомат. (неканонический метод).
- Алгоритм перехода от граф схемы микропрограммы к автомату Мура.
- Учет взаимодействия проекционного и управляющего автоматов. Алгоритм получения.
- Алгоритм получения частичного автомата.
- Множество входных значений.
- Кодирование состояний синхронного автомата.
- Кодирование соседними кодами.
- Минимизация числа переключений элементов памяти.
- Универсальный способ кодирования (для синхронного автомата).
- Автомат с дешифратором.
- Асинхронные автоматы.
- Этапы синтеза асинхронного автомата.
- Реализация асинхронного rs триггера на логических элементах.
- Установочные входы в триггерах.
- Синхронные элементы памяти.
- Требования, предъявляемые к синхросигналу.
- Синтез синхронного rs триггера.
- Синтез триггера с задержкой.Реализация асинхронного t триггера.
- Исключение состязаний элементов памяти в синхронных автоматах.
- Структура автоматов на плм и пзу.
- Явление рисков в комбинационных узлах.
- Исключение влияние рисков.
- Построение схем без риска.
- Алгоритм построения схемы без рисков по днф.
- Алгоритм построения схемы без риска.
- Автоматы, языки и грамматики.
- Задача распознавания цепочек языка.
- Классификация грамматик по Хомскому.
- Примеры построения грамматик.
- Грамматика для выполнения арифметических операций.
- Соответствие конечных автоматов и автоматных грамматик.
- Этапы для заданной автоматной грамматики.
- Этапы для заданной автоматной грамматики.
- Недетерминированные конечные автоматы.
- Преобразование недетерминированного автомата в детерминированный.
- Преобразование некоторых типов грамматики к автоматному ввиду.
- Алгоритм получения правил, не содержащих правил вывода нетерминальных символов.
- Построение распознавателей и преобразователей.
- Построение распознавателей.
- Алгоритм построения преобразователя.