Nondeterministic state complexity of star-free languages

  • Authors:
  • Markus Holzer;Martin Kutrib;Katja Meckel

  • Affiliations:
  • Institut für Informatik, Universität Giessen, Giessen, Germany;Institut für Informatik, Universität Giessen, Giessen, Germany;Institut für Informatik, Universität Giessen, Giessen, Germany

  • Venue:
  • CIAA'11 Proceedings of the 16th international conference on Implementation and application of automata
  • Year:
  • 2011

Quantified Score

Hi-index 0.00

Visualization

Abstract

We investigate the nondeterministic state complexity of several operations on finite automata accepting star-free languages. It turns out that in most cases exactly the same tight bounds as for general regular languages are reached. This nicely complements the results recently obtained in [8] for the operation problem of star-free languages accepted by deterministic finite automata.