Reducing acyclic cover transducers

  • Authors:
  • Jean-Marc Champarnaud;Franck Guingne;Jacques Farré

  • Affiliations:
  • Laboratoire LITIS, Université de Rouen, France;Laboratoire I3S, Université de Nice-Sophia Antipolis and CNRS, France;Laboratoire I3S, Université de Nice-Sophia Antipolis and CNRS, France

  • Venue:
  • CIAA'07 Proceedings of the 12th international conference on Implementation and application of automata
  • Year:
  • 2007

Quantified Score

Hi-index 0.00

Visualization

Abstract

Finite languages and finite subsequential functions can be represented by possibly cyclic finite machines, respectively called cover automata and cover transducers. In general, reduced cover machines have much fewer states than the corresponding minimal machines, yielding a compact representation for lexicons or dictionaries. We present here a new algorithm for reducing the number of states of an acyclic transducer.