|
Интеллектуальные системы. Теория и приложения, 2020, том 24, выпуск 2, страницы 145–155
(Mi ista271)
|
|
|
|
Эта публикация цитируется в 2 научных статьях (всего в 2 статьях)
Часть 3. Математические модели
Разрешимость задачи определения порядка линейного автомата
Н. В. Муравьев МГУ
Аннотация:
Рассматривается задача определения порядка линейного автомата. Доказан критерий конечности порядка линейного автомата, позволяющий решать задачу алгоритмически. Дана верхняя оценка на порядок линейного автомата.
Ключевые слова:
конечные автоматы, линейные автоматы, порядок в полугруппе.
Образец цитирования:
Н. В. Муравьев, “Разрешимость задачи определения порядка линейного автомата”, Интеллектуальные системы. Теория и приложения, 24:2 (2020), 145–155
Образцы ссылок на эту страницу:
https://www.mathnet.ru/rus/ista271 https://www.mathnet.ru/rus/ista/v24/i2/p145
|
|