Аннотация:
Рассматривается задача определения порядка линейного автомата. Доказан критерий конечности порядка линейного автомата, позволяющий решать задачу алгоритмически. Дана верхняя оценка на порядок линейного автомата.
Ключевые слова:
конечные автоматы, линейные автоматы, порядок в полугруппе.