Abstract
This article describes an algorithm for factorizing a finitely ambiguous finite-state transducer (FST) into two FSTs, T1 and T2, such that T1 is functional and T2 retains the ambiguity of the original FST. The application of T2 to the output of T1 never leads to a state that does not provide a transition for the next input symbol, and always terminates in a final state. In other words, T2 contains no “failing paths” whereas T1 in general does. Since T1 is functional, it can be factorized into a left-sequential and a right-sequential FST that jointly constitute a bimachine. The described factorization can accelerate the processing of input because no failing paths are ever followed.
Access this chapter
Tax calculation will be finalised at checkout
Purchases are for personal use only
Preview
Unable to display preview. Download preview PDF.
References
A.V. Aho, J.E. Hopcroft, and J.D. Ullman. 1974. The Design and Analysis of Computer Algorithms. Addison-Wesley, Reading, MA, USA.
J. Berstel. 1979. Transductions and Context-Free Languages. Number 38 in Leitfäden der angewandten Mathematik und Mechanik (LAMM). Studienbücher Informatik. Teubner, Stuttgart, Germany.
C.C. Elgot, and J.E. Mezei. 1965. On relations defined by generalized finite automata. IBM Journal of Research and Development, pages 47–68, January.
L. Karttunen, J.-P. Chanod, G. Grefenstette, and A. Schiller. 1996. Regular expressions for language engineering. Natural Language Engineering, 2(4):305–328.
A. Kempe. 2000. Reduction of intermediate alphabets in finite-state transducer cascades. In Proc. 7th Conference on Automatic Natural Language Processing (TALN), Lausanne, Switzerland. to appear
M. Mohri. 1997. Finite-state transducers in language and speech processing. Computational Linguistics, 23(2):269–312.
C. Reutenauer, and M.P. Schützenberger. 1991. Minimization of rational word functions. SIAM Journal of Computing, 20(4):669–685.
J. Sakarovitch. 1998. A construction on finite automata that has remained hidden. Theoretical Computer Science, 204:205–231.
M.P. Schützenberger. 1961. A remark on finite transducers. Information and Control, 4:185–187.
M.P. Schützenberger. 1976. Sur les rélations rationelles entre monoïdes libres. Theoretical Computer Science, 3:243–259.
Author information
Authors and Affiliations
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 2001 Springer-Verlag Berlin Heidelberg
About this paper
Cite this paper
Kempe, A. (2001). Factorization of Ambiguous Finite-State Transducers. In: Yu, S., Păun, A. (eds) Implementation and Application of Automata. CIAA 2000. Lecture Notes in Computer Science, vol 2088. Springer, Berlin, Heidelberg. https://doi.org/10.1007/3-540-44674-5_14
Download citation
DOI: https://doi.org/10.1007/3-540-44674-5_14
Published:
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-540-42491-8
Online ISBN: 978-3-540-44674-3
eBook Packages: Springer Book Archive