An optimal pre-determinization algorithm for weighted transducers

Theoretical Computer Science

Volumn 328, Issue 1-2, 2004, Pages 3-18

  Allauzen, Cyril ^a   Mohri, Mehryar ^a  

^a POLYTECHNIC UNIVERSITY   (United States)

Author keywords

Determinization; Finite automata; Finite state transducers; Twins property; Weighted finite state transducers

Indexed keywords

ALGORITHMS; FINITE AUTOMATA; INFORMATION RETRIEVAL; LARGE SCALE SYSTEMS; SPEECH RECOGNITION; TESTING;

DETERMINIZATION; FINITE-STATE TRANSDUCERS; TWINS PROPERTY; WEIGHTED FINITE-STATE TRANSDUCERS;

TRANSDUCERS;

EID: 9544234495     PISSN: 03043975     EISSN: None     Source Type: Journal    
DOI: 10.1016/j.tcs.2004.07.003     Document Type: Conference Paper

References (19)

1. A. V. Aho, R. Sethi, J.D. Ullman, Compilers, Principles, Techniques and Tools, Addison Wesley, Reading, MA, 1986.
2. C. Allauzen, M. Mohri, Efficient algorithms for testing the twins property, J. Automata, Languages and Combin. 8 (2) (2003) 117-144.
3. C. Allauzen, M. Mohri, Finitely subsequential transducers, Internat. J. Found. Comput. Sci. 14 (6) (2003) 983-994.
4. C. Allauzen, M. Mohri, Generalized optimization algorithm for speech recognition transducers, in: Proc. of the 2003 IEEE Internat. Conf. on Acoustics, Speech, and Signal Processing, ICASSP 2003, Vol. 1, 2003, pp. 352-355.
5. M.-P. Béal, O. Carton, C. Prieur, J. Sakarovitch, Squaring transducers: an efficient procedure for deciding functionality and sequentiality, Theoret. Comput. Sci. 292 (2003) 45-63.
6. J. Berstel, Transductions and Context-Free Languages, Teubner Studienbucher, Stuttgart, 1979.
7. C. Choffrut, Une caractérisation des fonctions séquentielles et des fonctions sous-séquentielles en tant que relations rationnelles, Theoret. Comput. Sci. 5 (1977) 325-338.
8. C. Choffrut, Contributions à l'étude de quelques familles remarquables de fonctions rationnelles, Ph.D. Thesis (thèse de doctorat d'Etat), Université Paris 7, LITP, Paris, France, 1978.
9. T.H. Cormen, C.E. Leiserson, R.L. Rivest, Introduction to Algorithms, The MIT Press, Cambridge, MA, 1992.
10. K. Culik II, J. Kari, Digital images and formal languages, G. Rozenberg, A. Salomaa(Eds.), Handbook of Formal Languages, Vol. 3, Springer, Berlin, 1997, pp. 599-616.
11. S. Eilenberg, Automata, Languages and Machines, Vol. A-B, Academic Press, New York, 1974-1976.
12. W. Kuich, A. Salomaa, Semirings, Automata, Languages, Number 5 in EATCS Monographs on Theoretical Computer Science, Springer, Berlin, Germany, 1986.
13. M. Mohri, Finite-state transducers in language and speech processing, Comput. Linguist. 23 (2) (1997) 269-311.
14. M. Mohri, Semiring frameworks and algorithms for shortest-distance problems, J. Automata, Languages Combin. 7 (3) (2002) 321-350.
15. M. Mohri, F.C.N. Pereira, M. Riley, Weighted automata in text and speech processing, in: Proc. of the 12th biennial European Conf. on Artificial Intelligence, ECAI-96, Workshop on Extended finite state models of language, Budapest, Hungary, ECAI, 1996.
16. F.C.N. Pereira M.D. Riley, Speech recognition by composition of weighted finite automata, in: E. Roche, Y. Schabes (Eds.), Finite-State Language Processing, MIT Press, Cambridge, MA, 1997, pp. 431-453.
17. D. Perrin, Words, in: M. Lothaire (Ed.), Combinatorics on Words, Cambridge Mathematical Library, Cambridge University Press, Cambridge, 1997.
18. A. Salomaa, M. Soittola, Automata - Theoretic Aspects of Formal Power Series, Springer, New York, 1978.
19. A. Weber, R. Klemm, Economy of description for single-valued transducers, Inform. Comput. 118 (2) (1995) 327-340.