Abstract:A subsequence of a word $w$ is a word $u$ such that $u = w[i_1] w[i_2] \dots w[i_{k}]$, for some set of indices $1 \leq i_1 < i_2 < \dots < i_k \leq \lvert w\rvert$. A word $w$ is $k$-subsequence universal over an alphabet $\Sigma$ if every word in $\Sigma^k$ appears in $w$ as a subsequence. In this paper, we study the intersection between the set of $k$-subsequence universal words over some alphabet $\Sigma$ and regular languages over $\Sigma$. We call a regular language $L$ \emph{$k$-$\exists$-subsequence universal} if there exists a $k$-subsequence universal word in $L$, and \emph{$k$-$\forall$-subsequence universal} if every word of $L$ is $k$-subsequence universal. We give algorithms solving the problems of deciding if a given regular language, represented by a finite automaton recognising it, is \emph{$k$-$\exists$-subsequence universal} and, respectively, if it is \emph{$k$-$\forall$-subsequence universal}, for a given $k$. The algorithms are FPT w.r.t.~the size of the input alphabet, and their run-time does not depend on $k$; they run in polynomial time in the number $n$ of states of the input automaton when the size of the input alphabet is $O(\log n)$. Moreover, we show that the problem of deciding if a given regular language is \emph{$k$-$\exists$-subsequence universal} is NP-complete, when the language is over a large alphabet. Further, we provide algorithms for counting the number of $k$-subsequence universal words (paths) accepted by a given deterministic (respectively, nondeterministic) finite automaton, and ranking an input word (path) within the set of $k$-subsequence universal words accepted by a given finite automaton.

Finite Automata for Testing Composition-Based Reconstructibility of Sequences

Study of protocol conformance test sequence generation algorithm based on FSM

Reducing Test Sequence Length Using Invertible Sequences

Compositional reasoning for probabilistic finite-state behaviors

Recomposition: A New Technique for Efficient Compositional Verification

Finite-state Independence and Normal Sequences

Conway's cosmological theorem and automata theory

Descriptional Complexity of Determinization and Complementation for Finite Automata

Subsequence Matching and Analysis Problems for Formal Languages

Factorizable Language Revisited from Dynamics to Biology

Decision Procedures for Sequence Theories (Technical Report)

$k$-Universality of Regular Languages

On Shuffling and Splitting Automata

Expressiveness modulo Bisimilarity of Regular Expressions with Parallel Composition (Extended Abstract)

A Test Sequence Generation Algorithm Based on Improved Transition Executability Analysis

Reversible Transducers over Infinite Words

Completeness of FSM Test Suites Reconsidered

Compositional Reasoning for Shared-variable Concurrent Programs.

Compositional Model-Checking for Real-Time Systems

Finite automata over structures

i dfa: A novel deterministic finite automaton without state explosion