A Family of NFA's Which Need 2n -alpha Deterministic States

  • Authors:
  • Kazuo Iwama;Akihiro Matsuura;Mike Paterson

  • Affiliations:
  • -;-;-

  • Venue:
  • MFCS '00 Proceedings of the 25th International Symposium on Mathematical Foundations of Computer Science
  • Year:
  • 2000

Quantified Score

Hi-index 0.00

Visualization

Abstract

We show that for all integers n ≥ 7 and α, such that 5 ≤ α ≤ 2n - 2 and satisfying some coprimality conditions, there exists a minimum n-state nondeterministic finite automaton that is equivalent to a minimum deterministic finite automaton with exactly 2n-α states.