Stallings foldings for rational subsets of automatic groups

Lucía Asencio-Martín, John R. Britnell, Andrew Duncan +2

Let $G$ be an automatic group with associated regular language $L$. We describe a procedure for constructing an automaton which recognises elements of a given submonoid or rational…