Построение формализованного описания работы автомата, минимизация числа внутренних состояний. Расчет временных диаграмм работы и функций переключения для заданных типов триггеров. Введение синхронизации и установки автомата в исходное состояние.
Аннотация к работе
Всякий автомат, реализует некоторое отображение, называемое автоматным и алфавитным. Для того чтобы алфавитное отображение могло быть реализовано автоматом, оно должно обладать следующими свойствами: Детерминированность - в автоматном отображении должно существовать однозначное соответствие между входными и выходными словами. По полученным отображениям строим граф и таблицу переходов в состояния. Состояния называются эквивалентными, если при установке автомата в эти состояния они не обнаруживают разницы в поведении (при подаче одних и тех же входных букв на выходе одни и те же буквы). Для развязывания пар переходов последовательно рассматривают все пары, подлежащие развязыванию, и в каком либо разряде кода состояний им присваивается противоположное значение.
План
Содержание
Расчет задания
Получение автоматного отображения
Построение формализованного описания работы автомата
Минимизация числа внутренних состояний автомата
Построение кодированной таблицы переходов и выходов автомата
Построение функций переключения для заданных типов триггеров
Введение синхронизации и установки автомата в исходное состояние