A class of rational n-WFSM auto-intersections

  • Authors:
  • André Kempe;Jean-Marc Champarnaud;Jason Eisner;Franck Guingne;Florent Nicart

  • Affiliations:
  • Grenoble Laboratory, Xerox Research Centre Europe, Meylan, France;PSI Laboratory, Université de Rouen, CNRS, Mont-Saint-Aignan, France;Computer Science Department, Johns Hopkins University, Baltimore, MD, United States;Grenoble Laboratory, Xerox Research Centre Europe, Meylan, France;Grenoble Laboratory, Xerox Research Centre Europe, Meylan, 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

Weighted finite-state machines with n tapes describe n-ary rational string relations. The join n-ary relation is very important in applications. It is shown how to compute it via a more simple operation, the auto-intersection. Join and auto-intersection generally do not preserve rationality. We define a class of triples 〈A, i, j〉 such that the auto-intersection of the machine A on tapes i and j can be computed by a delay-based algorithm. We point out how to extend this class and hope that it is sufficient for many practical applications.