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 …

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 …

Synchronizing strongly connected partial DFAs

MV Berlinkov, R Ferens, A Ryzhikov… - arXiv preprint arXiv …, 2021 - arxiv.org
We study synchronizing partial DFAs, which extend the classical concept of synchronizing
complete DFAs and are a special case of synchronizing unambiguous NFAs. A partial DFA …

On finite monoids over nonnegative integer matrices and short killing words

S Kiefer, C Mascle - STACS 2019, 2019 - ora.ox.ac.uk
Let n be a natural number and M a set of nx n-matrices over the nonnegative integers such
that M generates a finite multiplicative monoid. We show that if the zero matrix 0 is a product …

An Improved Algorithm for Finding the Shortest Synchronizing Words

M Szykuła, A Zyzik - arXiv preprint arXiv:2207.05495, 2022 - arxiv.org
A synchronizing word of a deterministic finite complete automaton is a word whose action
maps every state to a single one. Finding a shortest or a short synchronizing word is a …

On codeword lengths guaranteeing synchronization

VV Gusev, EV Pribavkina - … 2019, Loughborough, UK, September 9–13 …, 2019 - Springer
Prefix codes such as Huffman codes are commonly used for loseless data compression. The
class of synchronizing codes is often chosen to improve error resilience or to enable parallel …

On nonnegative integer matrices and short killing words

S Kiefer, CN Mascle - SIAM Journal on Discrete Mathematics, 2021 - SIAM
Let n be a natural number, and let M be a set of n*n-matrices over the nonnegative integers
such that the joint spectral radius of M is at most one. We show that if the zero matrix 0 is a …

Синхронизация конечных автоматов

МВ Волков - Успехи математических наук, 2022 - mathnet.ru
Синхронизация конечных автоматов–направление дискретной математики,
первоначальные понятия которого очень прозрачны, поскольку непосредственно …

[PDF][PDF] An improved algorithm for finding the shortest synchronizing words

A Zyzik - ii.uni.wroc.pl
A synchronizing word of a deterministic finite automaton is a word whose action maps every
state to a single one. Finding a short or a shortest synchronizing word is a central …

Synchronizing automata and coding theory

A Ryzhikov - 2020 - theses.hal.science
This thesis is devoted to studying synchronizing words for finite automata and variable-
length codes. Intuitively, a synchronizing word is a word such that its application brings a …