Размерные функции для множества регулярных подмножеств свободной группы

Пусть $F(X)$ свободная группа конечного ранга $m >= 2$, и $M$ - множество регулярных подмножеств группы $F$. Будет построена размерная функция $d: M -> A$, где $А$ – лексикографически упорядоченное абелева группа, являющаяся декартовым произведением двух экземпляров аддитивной группы поля рациональных чисел. Будет указан алгоритм вычисления значения этой функции для заданного регулярного множества.