The Average State Complexity of the Star of a Finite Set of Words Is Linear

  • Authors:
  • Frédérique Bassino;Laura Giambruno;Cyril Nicaud

  • Affiliations:
  • LIPN UMR CNRS 7030, Université Paris-Nord, Villetaneuse, France 93430;Dipartimento di Matematica e Applicazioni, Università di Palermo, Italy 90100;IGM, UMR CNRS 8049, Université Paris-Est, Marne-la-Vallée, France 77454

  • Venue:
  • DLT '08 Proceedings of the 12th international conference on Developments in Language Theory
  • Year:
  • 2008

Quantified Score

Hi-index 0.00

Visualization

Abstract

We prove that, for the uniform distribution over all sets Xof m(that is a fixed integer) non-empty words whose sum of lengths is n, $\mathcal{D}_X$, one of the usual deterministic automata recognizing X*, has on average $\mathcal{O}(n)$ states and that the average state complexity of X*is 茂戮驴(n). We also show that the average time complexity of the computation of the automaton $\mathcal{D}_X$ is $\mathcal{O}(n\log n)$, when the alphabet is of size at least three.