12,234 research outputs found
Synchronizing Relations on Words
While the theory of languages of words is very mature, our understanding of relations on words is still lagging behind. And yet such relations appear in many new applications such as verification of parameterized systems, querying graph-structured data, and information extraction, for instance. Classes of well-behaved relations typically used in such applications are obtained by adapting some of the equivalent definitions of regularity of words for relations, leading to non-equivalent notions of recognizable, regular, and rational relations.
The goal of this paper is to propose a systematic way of defining classes of relations on words, of which these three classes are just natural examples, and to demonstrate its advantages compared to some of the standard techniques for studying word relations. The key idea is that of a synchronization of a pair of words, which is a word over an extended alphabet. Using it, we define classes of relations via classes of regular languages over a fixed alphabet, just {1,2} for binary relations. We characterize some of the standard classes of relations on words via finiteness of parameters of synchronization languages, called shift, lag, and shiftlag. We describe these conditions in terms of the structure of cycles of graphs underlying automata, thereby showing their decidability. We show that for these classes there exist canonical synchronization languages, and every class of relations can be effectively re-synchronized using those canonical representatives. We also give sufficient conditions on synchronization languages, defined in terms of injectivity and surjectivity of their Parikh images, that guarantee closure under intersection and complement of the classes of relations they define
On Nonnegative Integer Matrices and Short Killing Words
Let be a natural number and a set of -matrices
over the nonnegative integers such that the joint spectral radius of
is at most one. We show that if the zero matrix is a product
of matrices in , then there are with . This result has applications in
automata theory and the theory of codes. Specifically, if
is a finite incomplete code, then there exists a word of
length polynomial in such that is not a factor of any
word in . This proves a weak version of Restivo's conjecture.Comment: This version is a journal submission based on a STACS'19 paper. It
extends the conference version as follows. (1) The main result has been
generalized to apply to monoids generated by finite sets whose joint spectral
radius is at most 1. (2) The use of Carpi's theorem is avoided to make the
paper more self-contained. (3) A more precise result is offered on Restivo's
conjecture for finite code
Formal inverses of the generalized Thue-Morse sequences and variations of the Rudin-Shapiro sequence
A formal inverse of a given automatic sequence (the sequence of coefficients
of the composition inverse of its associated formal power series) is also
automatic. The comparison of properties of the original sequence and its formal
inverse is an interesting problem. Such an analysis has been done before for
the Thue{Morse sequence. In this paper, we describe arithmetic properties of
formal inverses of the generalized Thue-Morse sequences and formal inverses of
two modifications of the Rudin{Shapiro sequence. In each case, we give the
recurrence relations and the automaton, then we analyze the lengths of strings
of consecutive identical letters as well as the frequencies of letters. We also
compare the obtained results with the original sequences.Comment: 20 page
Synchronizing Automata on Quasi Eulerian Digraph
In 1964 \v{C}ern\'{y} conjectured that each -state synchronizing automaton
posesses a reset word of length at most . From the other side the best
known upper bound on the reset length (minimum length of reset words) is cubic
in . Thus the main problem here is to prove quadratic (in ) upper bounds.
Since 1964, this problem has been solved for few special classes of \sa. One of
this result is due to Kari \cite{Ka03} for automata with Eulerian digraphs. In
this paper we introduce a new approach to prove quadratic upper bounds and
explain it in terms of Markov chains and Perron-Frobenius theories. Using this
approach we obtain a quadratic upper bound for a generalization of Eulerian
automata.Comment: 8 pages, 1 figur
- …