2 papers
cs.FL2026
Simplicity and irreducibility in circular automata
Riccardo Venturi
This paper investigates the conditions under which a given circular (synchronizing) DFA is \emph{simple} (sometimes referred to as \emph{primitive}) and when it is \emph{irreducibl…
cs.FL2026
The hereditariness problem for the Äerný conjecture
Emanuele Rodaro, Riccardo Venturi
This paper addresses the lifting problem for the Äerný conjecture: namely, whether the validity of the conjecture for a quotient automaton can always be transferred (or "lifted")…