Path-equivalent removals of ε-transitions in a genomic weighted finite automaton

  • Authors:
  • Mathieu Giraud;Philippe Veber;Dominique Lavenier

  • Affiliations:
  • IRISA / CNRS / Université de Rennes 1, Rennes, France;IRISA / CNRS / Université de Rennes 1, Rennes, France;IRISA / CNRS / Université de Rennes 1, Rennes, France

  • Venue:
  • CIAA'06 Proceedings of the 11th international conference on Implementation and Application of Automata
  • Year:
  • 2006

Quantified Score

Hi-index 0.00

Visualization

Abstract

Weighted finite automata (WFA) are used with accelerating hardware to scan large genomic banks. Hardwiring such automata raise surface area and clock frequency constraints, requiring efficient ε-transitions-removal techniques. In this paper, we present new bounds on the number of new transitions for several ε-transitions-removal problems. We study the case of acyclic WFA. We introduce a new problem, the partial removal of ε-transitions while accepting short chains of ε-transitions.