Hairdressing in groups: a survey of combings and formal languages
Sarah Rees · Geometry and topology monographs · 1998
A group is combable if it can be represented by a language of words satisfying a fellow traveller property; an automatic group has a synchronous combing which is a regular language. This article surveys results for combable groups, in particular in the case where the combing is a formal language. AMS Classi cation 20F10, 20-04, 68Q40; 03D40