Answers are grounded in this paper and cite their sources.
We prove that any Artin group of large type is shortlex automatic with respect to its standard generating set, and that the set of all geodesic words over the same generating set satisfies the Falsification by Fellow-Traveller Property (FFTP) and hence is regular.
No takes yet. Share an insight, caveat, or question.
Holt et al. (2011) studied this question.
Synapse has enriched 10 related papers. Consider them for comparative context: