English

On state complexity for subword-closed languages

Formal Languages and Automata Theory 2024-07-16 v1

Abstract

This paper investigates the state complexities of subword-closed and superword-closed languages, comparing them to regular languages. We focus on the square root operator and the substitution operator. We establish an exponential lower bound for superword-closed languages for the k-th root. For subword-closed languages we analyze in detail a specific instance of the square root problem for which a quadratic complexity is proven. For the substitution operator, we show an exponential lower bound for the general substitution. We then find some conditions for which we prove a quadratic upper bound.

Keywords

Cite

@article{arxiv.2407.10355,
  title  = {On state complexity for subword-closed languages},
  author = {Jérôme Guyot},
  journal= {arXiv preprint arXiv:2407.10355},
  year   = {2024}
}
R2 v1 2026-06-28T17:40:34.346Z