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