Automaticity of non-positively curved $k$-fold triangle groups

Ana Isaković

We show that non-positively curved $k$-fold triangle groups have finitely many cone types, and hence a regular language of all geodesics. Further, we prove that the language of lex…