Н. В. Муравьев, “Разрешимость задачи определения порядка линейного автомата”, Интеллектуальные системы. Теория и приложения, 2020, том 24, выпуск 2,страницы 145

Эта публикация цитируется в 2 статьях

Часть 3. Математические модели

Разрешимость задачи определения порядка линейного автомата

Н. В. Муравьев

МГУ

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

Ключевые слова: конечные автоматы, линейные автоматы, порядок в полугруппе.