2014/05/10 by A. N. Trahtman, Trahtman, A. N.
Computer Science · Mathematics · #68R10 #68R15 #90C35 #Cellular Automata and Applications #Discrete Mathematics (cs.DM) #F.2.2 #FOS: Computer and information sciences #Formal Languages and Automata Theory (cs.FL) #I.2.7 #Mathematical Dynamics and Fractals #semigroups and automata theory
paper · pdf · doi:10.48550/arxiv.1405.2435
openalex publication_date 2014/05/10 · openalex created_date 2024/04/10 · openalex updated_date 2026/07/28
A word w of letters on edges of underlying graph Gamma of deterministic finite automaton (DFA) is called the synchronizing word if w sends all states of the automaton to a unique state. J. Cerny discovered in 1964 a sequence of n-state complete DFA possessing a minimal synchronizing word of length (n-1)2. The hypothesis, well known today as the Cerny conjecture, claims that it is also precise upper bound on the length of such a word for a complete DFA. This simple looking conjecture is arguably the most fascinating and longstanding open problem in the theory of finite automaton. The hypothesis was formulated in 1966 by Starke. The problem has motivated great and constantly growing number of investigations and generalizations. To prove the conjecture, we use algebra with non-standard operations on a special class of matrices (row monomial), induced by words in the alphabet of labels on edges. These matrices generate a space with respect to the mentioned operation. The proof is based on connection between length of words u and dimension of the space generated by solutions Lx of matrix equation MuLx =Ms for synchronizing word s, as well as on the relation between ranks of Mu and Lx.