Abstract
This invited talk presents the work conducted on the problems that arise when dealing with weighted automata containing \(\varepsilon \)-transitions: how to define the behaviour of such automata in which the presence of \(\varepsilon \)-circuits results in infinite summations, and second how to eliminate the \(\varepsilon \)-transitions in an automaton whose behaviour has been recognised to be well-defined. The origin of this work is the implementation, in the Awali platform [19], of an \(\varepsilon \)-transition removal algorithm for automata with weight in \(\mathbb {Q}\) or \(\mathbb {R}\), a case that had never been treated before in the rich literature on the subject of \(\varepsilon \)-transition removal algorithms (cf. [16] for a survey). The results of this work have been published in [14].
J. Sakarovitch Joint work with S. Lombardy.
Access this chapter
Tax calculation will be finalised at checkout
Purchases are for personal use only
Similar content being viewed by others
References
Berstel, J., Reutenauer, C.: Noncommutative Rational Series with Applications. Cambridge University Press, Cambridge (2011)
Bloom, S.L., Ésik, Z.: Iteration Theories. Springer, Heidelberg (1993). https://doi.org/10.1007/978-3-642-78034-9
Bloom, S.L., Ésik, Z., Kuich, W.: Partial Conway and iteration semirings. Fundam. Inform. 86, 19–40 (2008)
Conway, J.H.: Regular Algebra and Finite Machines. Chapman and Hall, London (1971)
Droste, M., Kuich, W.: Semirings and formal power series. In: Droste et al. [6], pp. 3–28
Droste, M., Kuich, W., Vogler, H. (eds.): Handbook of Weighted Automata. Springer, Heidelberg (2009). https://doi.org/10.1007/978-3-642-01492-5
Eilenberg, S.: Automata, Languages and Machines, vol. A. Academic Press, New York (1974)
Ésik, Z., Kuich, W.: Locally closed semirings. Monatshefte für Mathematik 137, 21–29 (2002)
Ésik, Z., Kuich, W.: Finite automata. In: Droste et al. [6], pp. 69–104
Hopcroft, J.E., Motwani, R., Ullman, J.D.: Introduction to Automata Theory, Languages and Computation, 3rd edn. Addison-Wesley, Boston (2006)
Kuich, W.: Automata and languages generalized to \(\omega \)-continuous semirings. Theoret. Comput. Sci. 79, 137–150 (1991)
Kuich, W., Salomaa, A.: Semirings, Automata, Languages. Springer, Heidelberg (1986). https://doi.org/10.1007/978-3-642-69959-7
Lehmann, D.J.: Algebraic structure for transitive closure. Theoret. Comput. Sci. 4, 59–76 (1977)
Lombardy, S., Sakarovitch, J.: The validity of weighted automata. Int. J. Algebra Comput. 23(4), 863–914 (2013)
Mohri, M.: Generic \(\varepsilon \)-removal and input \(\varepsilon \)-normalization algorithms for weighted transducers. Int. J. Found. Comput. Sci. 13, 129–143 (2002)
Mohri, M.: Weighted automata algorithms. In: Droste et al. [6], pp. 213–254
Sakarovitch, J.: Elements of Automata Theory. Cambridge University Press, Cambridge (2009). corrected English translation of Éléments de théorie des automates, Vuibert, Paris (2003)
Sakarovitch, J.: Rational and recognisable power series. In: Droste et al. [6], pp. 105–174
Awali: Another Weighted Automata LIbrary. vaucanson-project.org/AWALI
Author information
Authors and Affiliations
Corresponding author
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 2018 Springer International Publishing AG, part of Springer Nature
About this paper
Cite this paper
Lombardy, S., Sakarovitch, J. (2018). The Validity of Weighted Automata. In: Câmpeanu, C. (eds) Implementation and Application of Automata. CIAA 2018. Lecture Notes in Computer Science(), vol 10977. Springer, Cham. https://doi.org/10.1007/978-3-319-94812-6_4
Download citation
DOI: https://doi.org/10.1007/978-3-319-94812-6_4
Published:
Publisher Name: Springer, Cham
Print ISBN: 978-3-319-94811-9
Online ISBN: 978-3-319-94812-6
eBook Packages: Computer ScienceComputer Science (R0)