|
Прикладная теория автоматов и графов
О транзитивности отображений, ассоциированных с конечными автоматами из групп $AS_p$
М. В. Карандашов Кафедра дискретной математики и информационных технологий Саратовского национального исследовательского университета им. Н. Г. Чернышевского, г. Саратов
Аннотация:
Рассматривается вопрос определения свойства транзитивности автоматных отображений. Приводится общий критерий транзитивности автоматного отображения на словах длины $k\in\mathbb N$. Для автоматов из групп $AS_p$ предложен алгоритм проверки транзитивности. Сложность представленного алгоритма зависит от числа состояний автомата и не зависит от длины входного слова; приведена верхняя граница сложности алгоритма.
Ключевые слова:
конечные автоматны, автоматные отображения группы $AS_p$, транзитивность.
Образец цитирования:
М. В. Карандашов, “О транзитивности отображений, ассоциированных с конечными автоматами из групп $AS_p$”, ПДМ. Приложение, 2016, № 9, 115–118
Образцы ссылок на эту страницу:
https://www.mathnet.ru/rus/pdma273 https://www.mathnet.ru/rus/pdma/y2016/i9/p115
|
|