A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2015; you can also visit the original URL.
The file type is application/pdf
.
On the equivalence of weighted finite-state transducers
2004
Proceedings of the ACL 2004 on Interactive poster and demonstration sessions -
unpublished
Although they can be topologically different, two distinct transducers may actually recognize the same rational relation. Being able to test the equivalence of transducers allows to implement such operations as incremental minimization and iterative composition. This paper presents an algorithm for testing the equivalence of deterministic weighted finite-state transducers, and outlines an implementation of its applications in a prototype weighted finite-state calculus tool.
doi:10.3115/1219044.1219067
fatcat:yftl3k5irfe3zk4wwl2tvpderi