Efficient Algorithms for Testing the Twins Property

Cyril Allauzen & Mehryar Mohri
Weighted automata and transducers are powerful devices used in many large-scale applications. The efficiency of these applications is substantially increased when the automata or transducers used are deterministic. There exists a general determinization algorithm for weighted automata and transducers that is an extension of the classical subset construction used in the case of unweighted finite automata [14]. However, not all finite-state transducers or weighted automata and transducers can be determinized using that algorithm, thus the...
This data repository is not currently reporting usage information. For information on how your repository can submit usage information, please see our documentation.