Černý's conjecture and the road colouring problem

J Kari, MV Volkov - Handbook of automata theory, 2021 - ems.press
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 …

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 …

Primitive sets of nonnegative matrices and synchronizing automata

B Gerencsér, VV Gusev, RM Jungers - SIAM Journal on Matrix Analysis and …, 2018 - SIAM
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 …

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 …

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 …

[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 …

Forward and backward synchronizing algorithms

A Roman, M Szykuła - Expert Systems with Applications, 2015 - Elsevier
Abstract Automata synchronization has many important applications, mostly in conformance
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 …

A machine learning approach to synchronization of automata

I Podolak, A Roman, M Szykuła, B Zieliński - Expert Systems with …, 2018 - Elsevier
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 …

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 …