Conference Papers Year : 2019

Square, Power, Positive Closure, and Complementation on Star-Free Languages

Sylvie Davies
  • Function : Author
  • PersonId : 1059503
Michal Hospodár
  • Function : Author
  • PersonId : 1059495

Abstract

We examine the deterministic and nondeterministic state complexity of square, power, positive closure, and complementation on star-free languages. For the state complexity of square, we get a non-trivial upper bound (n1)2n2(n2)

and a lower bound of order Θ(2n)
. For the state complexity of the k-th power in the unary case, we get the tight upper bound k(n1)+1
. Next, we show that the upper bound kn on the nondeterministic state complexity of the k-th power is met by a binary star-free language, while in the unary case, we have a lower bound k(n1)+1
. For the positive closure, we show that the deterministic upper bound 2n1+2n21
, as well as the nondeterministic upper bound n, can be met by star-free languages. We also show that in the unary case, the state complexity of positive closure is n27n+13
, and the nondeterministic state complexity of complementation is between (n1)2+1
and n22
.

Fichier principal
Vignette du fichier
480958_1_En_7_Chapter.pdf (356) Télécharger le fichier
Origin Files produced by the author(s)
Loading...

Dates and versions

hal-02387295 , version 1 (29-11-2019)

Licence

Identifiers

Cite

Sylvie Davies, Michal Hospodár. Square, Power, Positive Closure, and Complementation on Star-Free Languages. 21th International Conference on Descriptional Complexity of Formal Systems (DCFS), Jul 2019, Košice, Slovakia. pp.98-110, ⟨10.1007/978-3-030-23247-4_7⟩. ⟨hal-02387295⟩
83 View
61 Download

Altmetric

Share

  • More