Automatic actions I. Bounded automata and orbits

Laurent Bartholdi

We develop the theory of "automatic actions": (semi)groups acting by $\omega$-regular transformations on an $\omega$-regular language, showing that it covers a large class of heretofore-unre…