Аннотация:
We prove that the elements of the Hanoi Towers groups $\mathcal{H}_m$ have depth bounded from
above by a poly-logarithmic function $O(\log^{m-2} n)$, where $n$ is the length of an
element. Therefore the word problem in groups $\mathcal{H}_m$ is solvable in subexponential
time $exp(O(\log^{m-2} n))$.
Ключевые слова:the Tower of Hanoi game, automaton group, word problem, complexity.