Abstract:Let $S$ be a string of length $n$ with characters from an alphabet of size $\sigma$. The \emph{subsequence automaton} of $S$ (often called the \emph{directed acyclic subsequence graph}) is the minimal deterministic finite automaton accepting all subsequences of $S$. A straightforward construction shows that the size (number of states and transitions) of the subsequence automaton is $O(n\sigma)$ and that this bound is asymptotically optimal. In this paper, we consider subsequence automata with \emph{default transitions}, that is, special transitions to be taken only if none of the regular transitions match the current character, and which do not consume the current character. We show that with default transitions, much smaller subsequence automata are possible, and provide a full trade-off between the size of the automaton and the \emph{delay}, i.e., the maximum number of consecutive default transitions followed before consuming a character. Specifically, given any integer parameter $k$, $1 < k \leq \sigma$, we present a subsequence automaton with default transitions of size $O(nk\log_{k}\sigma)$ and delay $O(\log_k \sigma)$. Hence, with $k = 2$ we obtain an automaton of size $O(n \log \sigma)$ and delay $O(\log \sigma)$. On the other extreme, with $k = \sigma$, we obtain an automaton of size $O(n \sigma)$ and delay $O(1)$, thus matching the bound for the standard subsequence automaton construction. Finally, we generalize the result to multiple strings. The key component of our result is a novel hierarchical automata construction of independent interest.

Automaticity of uniformly recurrent substitutive sequences

Quasi-fixed points of substitutive systems

An Automatic Adjoint Theorem and Its Applications

On Certain Recurrent and Automatic Sequences in Finite Fields

Substitution Dynamical Systems: Characterization of Linear Repetitivity and Applications

On asymptotically automatic sequences

A characterization of substitutive sequences using return words

Arithmetical subword complexity of automatic sequences

On the automaticity of the Hankel determinants of a family of automatic sequences

Recurrence analysis of uniform binary substitutions

Almost automorphic and bijective factors of substitution shifts

Subsequence Matching and Analysis Problems for Formal Languages

Automatic semigroups vs automaton semigroups

Simplex Subdivisions and Nonnegativity Decision of Forms

Uniform syndeticity in multiple recurrence

Reversibility of elementary cellular automata with fully asynchronous updating: An analysis of the rules with partial recurrence

Subsequence Automata with Default Transitions

On completely multiplicative automatic sequences

Overlapping substitutions and tilings

Decidability of the isomorphism problem between multidimensional substitutive subshifts