A pumping-like lemma for languages over infinite alphabets
arXiv:2512.23403
Abstract
We prove a kind of a pumping lemma for languages accepted by one-register alternating finite-memory automata. As a corollary, we obtain that the set of lengths of words in such languages is semi-linear.