Minimalizations of NFA using the universal automaton

  • Authors:
  • Libor Polák

  • Affiliations:
  • Department of Mathematics, Masaryk University, Brno, Czech Republic

  • Venue:
  • CIAA'04 Proceedings of the 9th international conference on Implementation and Application of Automata
  • Year:
  • 2004

Quantified Score

Hi-index 0.00

Visualization

Abstract

In this contribution we shall see how our (algebraic) approach to the so-called universal automaton of a given regular language helps to understand the process of the minimalization of a NFA. The minimality is meant with respect to the number of states. Although it is known that the problem is PSPACE-complete (see [5]) one can propose algorithms of not too high complexities to compute relatively good approximations.