Showing cs.FLShow all
2 papers · 1 filter
cs.FL2026
Exact Accepting-State Spectrum for Reversal of Permutation Automata
Samuel German
We determine the accepting-state spectrum of reversal for permutation automata exactly, thereby proving the Rauch--Holzer conjecture on this operation. For every and ever…
cs.FL2026
A Unary-to-Nonunary Transition in the Accepting-State Spectrum of Right Quotient for Permutation Automata
Samuel German
This paper resolves the open larger-alphabet quotient case in the accepting-state complexity theory of permutation automata. Rauch and Holzer showed that, in the unary setting, the…