Černý's conjecture and the road colouring problem
Let A be a complete deterministic finite automaton (DFA) with input alphabet A and state set
Q. We say that such an automaton is synchronising if there exists a word w 2 A such that …
Q. We say that such an automaton is synchronising if there exists a word w 2 A such that …
Algebraic synchronization criterion and computing reset words
MV Berlinkov, M Szykuła - Information Sciences, 2016 - Elsevier
We refine a uniform algebraic approach for deriving upper bounds on reset thresholds of
synchronizing automata. We express the condition that an automaton is synchronizing in …
synchronizing automata. We express the condition that an automaton is synchronizing in …
Primitive sets of nonnegative matrices and synchronizing automata
A set of nonnegative matrices M={M_1,M_2,...,M_k\} is called primitive if there exist possibly
equal indices i_1,i_2,...,i_m such that M_i_1M_i_2⋯M_i_m is entrywise positive. The length …
equal indices i_1,i_2,...,i_m such that M_i_1M_i_2⋯M_i_m is entrywise positive. The length …
Synchronization of finite automata
MV Volkov - 2022 - elar.urfu.ru
A survey of the state-of-the-art of the theory of synchronizing automata is given in its part
concerned with the case of complete deterministic automata. Algorithmic and complexity …
concerned with the case of complete deterministic automata. Algorithmic and complexity …
Short synchronizing words for random automata
G Chapuy, G Perarnau - Proceedings of the 2023 Annual ACM-SIAM …, 2023 - SIAM
We prove that a uniformly random automaton with n states on a 2-letter alphabet has a
synchronizing word of length with high probability (whp). That is to say, whp there exists a …
synchronizing word of length with high probability (whp). That is to say, whp there exists a …
[PDF][PDF] The Černý Conjecture Holds with High Probability.
C Nicaud - J. Autom. Lang. Comb., 2019 - people.irisa.fr
An automaton is synchronizing when there is a word that brings every state into one and the
same state. Such a word is called a synchronizing word, and Černý conjectured in 1964 that …
same state. Such a word is called a synchronizing word, and Černý conjectured in 1964 that …
Forward and backward synchronizing algorithms
Abstract Automata synchronization has many important applications, mostly in conformance
testing of electrical circuits, self-correcting codes and protocol testing. Finding a shortest …
testing of electrical circuits, self-correcting codes and protocol testing. Finding a shortest …
Completely distinguishable automata and the set of synchronizing words
S Hoffmann - … Conference on Developments in Language Theory, 2023 - Springer
An n-state automaton is synchronizing if it can be reset, or synchronized, into a definite state.
The set of input words that synchronize the automaton is acceptable by an automaton of size …
The set of input words that synchronize the automaton is acceptable by an automaton of size …
A machine learning approach to synchronization of automata
We present a novel method to predict the length of the shortest synchronizing words of a
finite automaton by applying the machine learning approach. We introduce several so-called …
finite automaton by applying the machine learning approach. We introduce several so-called …
Synchronization problems in automata without non-trivial cycles
A Ryzhikov - Theoretical Computer Science, 2019 - Elsevier
We study the computational complexity of various problems related to synchronization of
weakly acyclic automata, a subclass of widely studied aperiodic automata. We provide …
weakly acyclic automata, a subclass of widely studied aperiodic automata. We provide …