Geodesic automation and growth functions for Artin groups of finite type
For an Artin group (or generalized braid group) associated to a finite Coxeter group, we exhibit an automatic structure whose language is symmetric, geodesic and one-to-one. Using this automatic structure, we show how to explicitly compute rational growth functions for these groups.
scientific article; zbMATH DE number 734573