Generic epsilon -Removal Algorithm for Weighted Automata

  • Authors:
  • Mehryar Mohri

  • Affiliations:
  • -

  • Venue:
  • CIAA '00 Revised Papers from the 5th International Conference on Implementation and Application of Automata
  • Year:
  • 2000

Quantified Score

Hi-index 0.00

Visualization

Abstract

We present a new generic Ɛ-removal algorithm for weighted automata and transducers defined over a semiring. The algorithm can be used with any semiring covered by our framework and works with any queue discipline adopted. It can be used in particular in the case of unweighted automata and transducers and weighted automata and transducers defined over the tropical semiring. It is based on a general shortest-distance algorithm that we briefly describe. We give a full description of the algorithm including its pseudocode and its running time complexity, discuss the more efficient case of acyclic automata, an on-the-fly implementation of the algorithm and an approximation algorithm in the case of the semirings not covered by our framework. We also illustrate the use of the algorithm with several semirings.