Lower bounds for the transition complexity of NFAs

  • Authors:
  • Michael Domaratzki;Kai Salomaa

  • Affiliations:
  • Jodrey School of Computer Science, Acadia University, Wolfville, Nova Scotia, Canada;School of Computing, Queen's University, Kingston, Ontario, Canada

  • Venue:
  • MFCS'06 Proceedings of the 31st international conference on Mathematical Foundations of Computer Science
  • Year:
  • 2006

Quantified Score

Hi-index 0.00

Visualization

Abstract

We construct regular languages Ln, n ≥1, such that any NFA recognizing Ln needs $\Omega( {\rm nsc}(L_n) \cdot \sqrt{{\rm nsc}(L_n)})$ transitions where nsc(Ln) is the nondeterministic state complexity of Ln. Also, we study trade-offs between the number of states and the number of transitions of an NFA. We show that adding one additional state can result in significant reductions in the number of transitions and that there exist regular languages Ln, n ≥2, where the transition minimal NFA for Ln has more than cnsc(Ln) states, for some constant c 1.