Are there any procedures which given a nonnegative nondecreasing function on the integers will construct a finitely generated group with the same growth up to the usual equivalence of growth functions? Can this at least be done for nice functions? For example Bergman gives an explicit construction of semigroups of any growth between quadratic and cubic.

Also, is there an algorithmic way to do this if your function is recursive and given as input by a Turing machine?

6more comments