{"id":"arxiv/2606.08101","url":"https://arxiv.org/abs/2606.08101","tags":["math.GR"],"score":0,"title":"Automatic actions I. Bounded automata and orbits","domain":"math.GR","source":"arxiv","authors":["Laurent Bartholdi"],"reviews":0,"subject":"math.GR","summary":"We develop the theory of \"automatic actions\": (semi)groups acting by $ω$-regular transformations on an $ω$-regular language, showing that it covers a large class of heretofore-unrelated examples. We focus on the subclass of actions by \"bounded\" $ω$-regular transformations, those for which the Büchi automata encoding the action do not have two connected non-trivial cycles. We show that, for bounded actions of inverse semigroups, the orbit relation is also $ω$-regular. We deduce a number of corollaries, in particular decidability, for such actions, of minimality, topological transitivity,…","category":"research","comments":0,"disputed":false,"division":"math","mentions":0,"discussed":0,"published":"2026-06-06","reactions":{}}