О разметках графов абелевых автоматов

Автор исследует вопрос количества возможных разметок ребер сильно-связного ориентированного графа, чтобы образованная диаграмма Мура соответствовала некоторому абелевому автомату. Доказано, что в случае алфавита из двух элементов такая разметка единственна (кроме крайнего случая) и приведен алгоритм такого восстановления. В случае алфавита из большего числа элементов показано, что максимальное количество разметок экспоненциально зависит от количества вершин.