2000 character limit reached
A pumping-like lemma for languages over infinite alphabets
Published 29 Dec 2025 in cs.FL | (2512.23403v1)
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.
Paper Prompts
Sign up for free to create and run prompts on this paper using GPT-5.
Top Community Prompts
Collections
Sign up for free to add this paper to one or more collections.