Scattered factor-universality of words

L Barker, P Fleischmann, K Harwardt, F Manea… - … on Developments in …, 2020 - Springer
Abstract A word u= u_1\dots u_n is a scattered factor of a word w if u can be obtained from w
by deleting some of its letters: there exist the (potentially empty) words v_0, v_1,..\,, v_n such …

The edit distance to k-subsequence universality

JD Day, P Fleischmann, M Kosche, T Koß… - … Aspects of Computer …, 2021 - drops.dagstuhl.de
A word u is a subsequence of another word w if u can be obtained from w by deleting some
of its letters. In the early 1970s, Imre Simon defined the relation∼ _k (called now Simon …

Matching patterns with variables under simon's congruence

P Fleischmann, S Kim, T Koß, F Manea… - International Conference …, 2023 - Springer
Matching Patterns with Variables Under Simon’s Congruence | SpringerLink Skip to main
content Advertisement SpringerLink Account Menu Find a journal Publish with us Track …

On coding for an abstracted nanopore channel for DNA storage

R Hulett, S Chandak, M Wootters - 2021 IEEE International …, 2021 - ieeexplore.ieee.org
In the emerging field of DNA storage, data is encoded as DNA sequences and stored. The
data is read out again by sequencing the stored DNA. Nanopore sequencing is a new …

On NFAs where all states are final, initial, or both

JY Kao, N Rampersad, J Shallit - Theoretical Computer Science, 2009 - Elsevier
We examine questions involving nondeterministic finite automata where all states are final,
initial, or both initial and final. First, we prove hardness results for the nonuniversality and …

Foundation of diagnosis and predictability in probabilistic systems

N Bertrand, S Haddad, E Lefaucheux - IARCS Annual Conference …, 2014 - inria.hal.science
In discrete event systems prone to unobservable faults, a diagnoser must eventually detect
fault occurrences. The diagnosability problem consists in deciding whether such a …

The complexity of downward closure comparisons

G Zetzsche - arXiv preprint arXiv:1605.03149, 2016 - arxiv.org
The downward closure of a language is the set of all (not necessarily contiguous) subwords
of its members. It is well-known that the downward closure of every language is regular …

[HTML][HTML] Complexity of universality and related problems for partially ordered NFAs

M Krötzsch, T Masopust, M Thomazo - Information and Computation, 2017 - Elsevier
Partially ordered NFAs (poNFAs) are NFAs where cycles occur only in the form of self-loops.
A poNFA is universal if it accepts all words over its alphabet. Deciding universality is PSpace …

Scattered Factor Universality--The Power of the Remainder

P Fleischmann, SB Germann, D Nowotka - arXiv preprint arXiv …, 2021 - arxiv.org
Scattered factor (circular) universality was firstly introduced by Barker et al. in 2020. A word $
w $ is called $ k $-universal for some natural number $ k $, if every word of length $ k $ of …

Finite automata for the sub-and superword closure of CFLs: Descriptional and computational complexity

G Bachmeier, M Luttenberger, M Schlund - International Conference on …, 2015 - Springer
We answer two open questions by (Gruber, Holzer, Kutrib, 2009) on the state-complexity of
representing sub-or superword closures of context-free grammars (CFGs):(1) We prove a …