О транзитивности отображений, ассоциированных с конечными автоматами из групп ASp
Рассматривается вопрос определения свойства транзитивности автоматных отображений. Приводится общий критерий транзитивности автоматного отображения на словах длины k G N. Для автоматов из групп ASp предложен алгоритм проверки транзитивности. Сложность представленного алгоритма зависит от числа с...
Published in: | Прикладная дискретная математика. Приложение № 9. С. 115-118 |
---|---|
Main Author: | |
Format: | Article |
Language: | Russian |
Subjects: | |
Online Access: | http://vital.lib.tsu.ru/vital/access/manager/Repository/vtls:000547683 Перейти в каталог НБ ТГУ |