Заключение
В ходе выполнения
курсового проекта были проведены
декомпозиция и синтез автомата. В целях
оптимизации вычислений, предварительно
была проведена минимизация автомата,
которая показала, что в автомате
присутствуют эквивалентные состояния,
что позволяет уменьшить количество
состояний исходного автомата. В ходе
декомпозиции автомата оказалось, что
у автомата отсутствует СП-разбиение,
поэтому были использованы три произвольных
ортогональных разбиения. Результатом
операции декомпозиции автомата явилась
сеть из трех автоматов, каждый из которых
имеет лишь два состояния.
Также был проведен
синтез автомата на основе счетного
триггера и базиса {2-И,
2-ИЛИ, НЕ}.Результатом
операции синтеза явилась структурная
схема автомата, состоящая из логической
схемы и трех элементов памяти, и
логические уравнения, позволяющие
определить переход автомата из одного
состояния в другое и получаемый при
этом сигнал на выходе автомата.
Данная работа
потребовала обращения сразу к нескольким
разделам дисциплины «Теория Автоматов»,
что позволило мне глубже понять некоторые
отдельные аспекты и улучшить свои
знания.
14
