Моделирование и декомпозиция автоматов с помощью вычислителей

Фунционирование конечного автомата описывается следующим образом. Очередная буква входной последовательности подается на вход автомата до тех пор, пока на некотором такте работы автомат не придет в одно из специально выделенных финальных состояний. Выходная буква этого такта считается реакцией на данную входную букву.
Рассмотрены способы выделения множеств финальных состояний, при которых получающееся словарное отображение остается автоматным. Показано, как данная конструкция может быть применена для декомпозиции конечных автоматов.