Абстрактный синтез конечного автомата

Структурный синтез конечного автомата.Общая теория автоматов подразделяется на абстрактную теорию и структурную теорию автоматов.Абстрактная теория автоматов занимает промежуточное положение между алгеброй и логикой.Конечный автомат - это устройство, работающее в дискретные моменты времени, или такты.Существует два вида реализации конечного автомата - аппаратная и программная.Граф переходов абстрактного автомата представлен в приложении 1.Баранов С.И. Синтез микропрограммных автоматов (граф-схемы и автоматы) . - 2-е изд., перераб.Построение графа переходов абстрактного автомата.Минимизация абстрактного автомата.Можно выделить два основных аспекта работы автомата.