加载中…
We prove groups acting cocompactly on locally finite trees with hyperbolic vertex stabilisers are asynchronously automatic. Combining this with previous work of the authors, we obtain an example of a group satisfying several non-positive curvature properties (being a group, an injective group, a hierarchically hyperbolic group, and having quadratic Dehn function) which is asynchronously automatic but not biautomatic.

生成讲解博客的中文版本

生成AI智能校验的中文版本