Incremental and semi-incremental construction of pseudo-minimal automata

  • Authors:
  • Jan Daciuk;Denis Maurel;Agata Savary

  • Affiliations:
  • Gdańsk University of Technology, Poland;Université François Rabelais, Tours, France;Université François Rabelais, Tours, France

  • Venue:
  • CIAA'05 Proceedings of the 10th international conference on Implementation and Application of Automata
  • Year:
  • 2005

Quantified Score

Hi-index 0.00

Visualization

Abstract

Pseudo-minimal automata ([1],[2]) are minimal acyclic automata that have a proper element (a transition or a state) for each word belonging to the language of the automaton. That proper element is not shared with any other word, and it can be used for implementing a function on words belonging to the language. For instance, dynamic perfect hashing (e.g. a mapping from n unique words to n consecutive numbers, such that addition of new elements does not change the order of the previous elements) can be implemented using a pseudo-minimal automaton ([3]).