2 papers
cs.FL2025
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.FL2025
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") t…