ПОНЯТИЕ О КОНЕЧНОМ АВТОМАТЕ

Дискретное устройство условно можно представить в виде многополюсника (рис. 2.1) с п внешними входами, т внешними выходами и k обратными связями, в каждую из которых включен элемент задержки.

абстрактного синтеза — построение конечного автомата, например его таблиц переходов и выходов по одному из способов задания отображения множества входных последовательностей (т. е. последовательностей состояний входа) в множество выходных последовательностей (последовательностей состояний выхода), которое должен реализовать автомат. Абстрактный синтез условно разбивают на два этапа. Первый этап заключается в получении таблиц переходов и выходов, на втором этапе осуществляется сжатие этих таблиц с целью минимизации числа внутренних состояний автомата. Результаты абстрактного синтеза служат исходными данными для последующего структурного синтеза автомата. На этапе структурного синтеза модель дискретного устройства уточняется и на основе конечного автомата вводится новая модель — структурный автомат. Затем осуществляется оптимизация этой модели.

2.2.