Синтез конечных автоматов

Автоматом называется дискретный преобразователь информации, способный принимать различные состояния, переходить под воздействием входных сигналов из одного состояния в другое и выдавать выходные сигналы. Если множество
состояний автомата, а так же множества входных и выходных сигналов конечны, то автомат называется конечным автоматом.
Понятие состояния введено в связи с тем, что часто возникает необходимость в описании поведения систем, выходные сигналы которых зависят не только от состояния входов в данный момент времени, но и от некоторых предысторий, т.е. от сигналов, которые поступали на входы системы ранее.

ВВЕДЕНИЕ 6
1 СИНТЕЗ КОНЕЧНЫХ АВТОМАТОВ 8
1.1 Основные понятия и определения 9
1.2 Задание конечного автомата 11
2 ЭЛЕМЕНТАРНЫЕ АВТОМАТЫ 12
3 ТАБЛИЧНЫЙ МЕТОД СТРУКТУРНОГО СИНТЕЗА КОНЕЧНЫХ АВТОМАТОВ 12
3.1 Структурный синтез 14
3.2 Построение синтеза функций возбуждения элементарных автоматов 15
3.3 Комбинационный синтез конечных автоматов 16
4 ТЕСТИРОВАНИЕ ПРОГРАММЫ 16
ВЫВОДЫ 18
СПИСОК ИСПОЛЬЗОВАННЫХ ИСТОЧНИКОВ 19
ПРИЛОЖЕНИЕ А 20