Reset thresholds of automata

Lecture Notes in Computer Science, 2002

In spite of its simple formulation, the problem about the synchronization of a finite deterministic automaton is not yet properly understood. The present paper investigates this and related problems within the general framework of a composition theory for functions over a finite domain N with n elements. The notion of depth introduced in this connection is a good indication of the complexity of a given function, namely, the complexity with respect to the length of composition sequences in terms of functions belonging to a basic set. Our results show that the depth may vary considerably with the target function. We also establish criteria about the reachability of some target functions, notably constants. Properties of n such as primality or being a power of 2 turn out to be important, independently of the semantic interpretation. Most of the questions about depth, as well as about the comparison of different notions of depth, remain open. Our results show that the study of functions of several variables may shed light also to the case where all functions considered are unary.

Theoretical Computer Science, 2006

Pin showed that every p-state automaton (p a prime) containing a cyclic permutation and a non-permutation has a synchronizing word of length at most (p − 1) 2 . In this paper we consider permutation automata with the property that adding any non-permutation will lead to a synchronizing word and establish bounds on the lengths of such synchronizing words. In particular, we show that permutation groups whose permutation character over the rationals splits into a sum of only two irreducible characters have the desired property.

ArXiv, 2015

A coloring of a digraph with a fixed out-degree k is a distribution of k labels over the edges resulting in a deterministic finite automaton. An automaton is called synchronizing if there exists a word which sends all states of the automaton to a single state. In the present paper we study connections between spectral and synchronizing properties of digraphs. We show that if a coloring of a digraph is not synchronizing, then the stationary distribution of an associated Markov chain has a partition of coordinates into blocks of equal sum. Moreover, if there exists such a partition, then there exists a non-synchronizing automaton with such stationary distribution. We extend these results to bound the number of non-synchronizing colorings for digraphs with particular eigenvectors. We also demonstrate that the length of the shortest synchronizing word of any coloring is at most $w^2 - 3w + 3$, where $w$ is the sum of the coordinates of the integer principal eigenvector of the digraph.

Journal of Combinatorial Optimization, 2013

In this paper we give the details of our new algorithm for finding minimal reset words of finite synchronizing automata. The problem is known to be computationally hard, so our algorithm is exponential in the worst case, but it is faster than the algorithms used so far and it performs well on average. The main idea is to use a bidirectional breadth-first-search and radix (Patricia) tries to store and compare subsets. A good performance is due to a number of heuristics we apply and describe here in a suitable detail. We give both theoretical and practical arguments showing that the effective branching factor is considerably reduced. As a practical test we perform an experimental study of the length of the shortest reset word for random automata with up to n = 350 states and up to k = 10 input letters. In particular, we obtain a new estimation of the expected length of the shortest reset word ≈ 2.5 √ n − 5 for binary automata and show that the error of this estimate is sufficiently small. Experiments for automata with more than two input letters show certain trends with the same general pattern.

ArXiv, 2018

In this paper, we show that every D3-directing CNFA can be mapped uniquely to a DFA with the same synchronizing word length. This implies that Cerný’s conjecture generalizes to CNFAs and that any upper bound for the synchronizing word length of DFAs is an upper bound for the D3-directing word length of CNFAs as well. As a second consequence, for several classes of CNFAs sharper bounds are established. Finally, our results allow us to detect all critical CNFAs on at most 6 states. It turns out that only very few critical CNFAs exist.

Information and Computation

It was conjectured byČerný in 1964 that a synchronizing DFA on n states always has a shortest synchronizing word of length at most (n − 1) 2 , and he gave a sequence of DFAs for which this bound is reached. In this paper, we investigate the role of the alphabet size. For each possible alphabet size, we count DFAs on n ≤ 6 states which synchronize in (n − 1) 2 − e steps, for all e < 2 n/2. Furthermore, we give constructions of automata with any number of states, and 3, 4, or 5 symbols, which synchronize slowly, namely in n 2 − 3n + O(1) steps. In addition, our results proveČerný's conjecture for n ≤ 6. Our computation has led to 27 DFAs on 3, 4, 5 or 6 states, which synchronize in (n − 1) 2 steps, but do not belong toČerný's sequence. Of these 27 DFA's, 19 are new, and the remaining 8 which were already known are exactly the minimal ones: they will not synchronize any more after removing a symbol. So the 19 new DFAs are extensions of automata which were already known, including theČerný automaton on 3 states. But for n > 3, we prove that thě Cerný automaton on n states does not admit non-trivial extensions with the same smallest synchronizing word length (n − 1) 2 .

A synchronizing of a deterministic automaton is a word in the alphabet of colors ( considered as letters ) of its edges that maps the automaton to a single state. A coloring of edges of a directed graph is synchronizing if the coloring turns the graph into a deterministic finite automaton possessing a synchronizing word. The road coloring problem is synchronizing coloring of a directed finite strongly connected graph with constant out-degree of all its vertices if the greatest common divisor of lengths of all its cycles is one. The problem was posed by Adler, Goodwin and Weiss over 30 years ago and evoked noticeable interest among the specialists in the theory of graphs, deterministic automata and symbolic dynamics. After so many people challenge to solve this problem finally, A.N Trahtman could present a positive solution. Therefore we know that we can make a synchronizing coloring for every graph witch has the necessary conditions. In this note we are going to explain a method for appointing a synchronizing coloring and a synchronizing word, in some special cases.

Information Processing Letters, 2009

We show that i-directable nondeterministic automata can be i-directed with a word of length O (2 n ) for i = 1, 2, where n stands for the number of states. Since for i = 1, 2 there exist i-directable automata having i-directing words of length Ω(2 n ), these upper bounds are asymptotically optimal. We also show that a 3-directable nondeterministic automaton with n states can be 3-directed with a word of length O (n 2 • 3 √ 4 n ), improving the previously known upper bound O (2 n ). Here the best known lower bound is Ω( 3 √ 3 n ).

J. Autom. Lang. Comb., 2019

Instead of looking at the lengths of synchronizing words as in \v{C}ern\&#39;y&#39;s conjecture, we look at the switch count of such words, that is, we only count the switches from one letter to another. Where the synchronizing words of the \v{C}ern\&#39;y automata $\mathcal{C}_n$ have switch count linear in $n$, we wonder whether synchronizing automata exist for which every synchronizing word has quadratic switch count. The answer is positive: we prove that switch count has the same complexity as synchronizing word length. We give some series of synchronizing automata yielding quadratic switch count, the best one reaching $\frac{2}{3} n^2 + O(n)$ as switch count. We investigate all binary automata on at most 9 states and determine the maximal possible switch count. For all $3\leq n\leq 9$, a strictly higher switch count can be reached by allowing more symbols. This behaviour differs from length, where for every $n$, no automata are known with higher synchronization length than $\ma...

2016

An automaton is synchronizing if there exists a word that sends all states of the automaton to a single state. A coloring of a digraph with a fixed out-degree k is a distribution of k labels over the edges resulting in a deterministic finite automaton. The famous road coloring theorem states that every primitive digraph has a synchronizing coloring. We study recent conjectures claiming that the number of synchronizing colorings is large in the worst and average cases. Our approach is based on the spectral properties of the adjacency matrix A(G) of a digraph G. Namely, we study the relation between the number of synchronizing colorings of G and the structure of the dominant eigenvector v of A(G). We show that a vector v has no partition of coordinates into blocks of equal sum if and only if all colorings of the digraphs associated with v are synchronizing. Furthermore, if for each b there exists at most one partition of the coordinates of v into blocks summing up to b, and the total ...