Выдержка из книги
Лаллеман Ж.N.
Полугруппы и комбинаторные приложения
Существует минимальная конгруэнция Y на Я, такая, что Я / Y - групповой автомат. Если Я - минимальный автомат, распознающий С для конечного префиксного кода С, то Т ( Я / у) - циклическая группа, порядок которой равен наибольшему общему делителю длин слов из С.
