Алгоритмы, меры и нормальные формы для свободных групповых конструкцийдиссертация