Improving the upper bound on the length of the shortest reset words
M Szykuła - arXiv preprint arXiv:1702.05455, 2017 - arxiv.org
We improve the best known upper bound on the length of the shortest reset words of
synchronizing automata. The new bound is slightly better than $114 n^ 3/685+ O (n^ 2) …
synchronizing automata. The new bound is slightly better than $114 n^ 3/685+ O (n^ 2) …
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 …
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 …
Primitive automata that are synchronizing
A deterministic finite (semi) automaton is primitive if its transition monoid (semigroup) acting
on the set of states has no non-trivial congruences. It is synchronizing if it contains a …
on the set of states has no non-trivial congruences. It is synchronizing if it contains a …
Lower bounds for synchronizing word lengths in partial automata
M De Bondt, H Don, H Zantema - International Journal of …, 2019 - World Scientific
It was conjectured by Černý in 1964, that a synchronizing DFA on n states always has a
synchronizing word of length at most (n− 1) 2, and he gave a sequence of DFAs for which …
synchronizing word of length at most (n− 1) 2, and he gave a sequence of DFAs for which …
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 …
Synchronizing billion-scale automata
Synchronizing sequences for large-scale automata have gained popularity recently due to
their practical use cases especially to have a faster and better testing process. In many …
their practical use cases especially to have a faster and better testing process. In many …
[PDF][PDF] Attainable values of reset thresholds
M Dzyga, R Ferens, VV Gusev… - … Foundations of Computer …, 2017 - drops.dagstuhl.de
An automaton is synchronizing if there exists a word that sends all states of the automaton to
a single state. The reset threshold is the length of the shortest such word. We study the set …
a single state. The reset threshold is the length of the shortest such word. We study the set …
Model of Multiagent Cooperation for Behavioral Testing
O Martynyuk, O Drozd, H Stepova… - 2021 IEEE East …, 2021 - ieeexplore.ieee.org
Modern distributed information systems (DIS), based on the complex application of many
technologies, increasingly acquire the properties of multi-agent systems (MAS). Autonomy …
technologies, increasingly acquire the properties of multi-agent systems (MAS). Autonomy …
An extremal series of eulerian synchronizing automata
M Szykuła, V Vorel - … Conference on Developments in Language Theory, 2016 - Springer
We present an infinite series of n-state Eulerian automata whose reset words have length at
least (n^ 2-3)/2. This improves the current lower bound on the length of shortest reset words …
least (n^ 2-3)/2. This improves the current lower bound on the length of shortest reset words …