Extraction and recoding of input-ε-cycles in finite state transducers

  • Authors:
  • André Kempe

  • Affiliations:
  • Xerox Research Centre Europe, Grenoble Laboratory, 6 chemin de Maupertuis, Meylan 38240, France

  • Venue:
  • Theoretical Computer Science - Implementation and application automata
  • Year:
  • 2004

Quantified Score

Hi-index 0.00

Visualization

Abstract

Much attention has been brought to determinization and ε-removal in previous work. This article describes an algorithm for extracting all ε-cycles, which are a particular type of nondeterminism, from an arbitrary finite-state transducer (FST). the algorithm decomposes the FST, T, into two FSTs, T1 and T2, such that T1 contains no ε-cycles and T2 contains all ε-cycles of T. The article also proposes an alternative approach where each ε-cycle of T is replaced by a single transitions with a complex label that describes the output of the cycle, Since ε-cycles are an obstacle for some algorithms such as the decomposition of ambiguous FSTs, the proposed approaches allow us to by-pass this problem, ε-Cycles can be extracted or recoded before and re-inserted (by composition) after such algorithms.