The theory of automatic sets and sequences arises naturally in many different areas of mathematics, notably in the study of algebraic power series in positive characteristic, due to work of Christol, and in Derksen's ...