Abstract
We introduce weighted variable automata over infinite alphabets and commutative and idempotent semirings. We prove that the class of their behaviors is closed under sum, and under scalar, Hadamard, Cauchy, and shuffle product, as well as star operation. Furthermore, we consider rational series over infinite alphabets and we state a Kleene-Schützenberger theorem.
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
Barceló, P., Reutter, J., Libkin, L.: Parametrized regular expressions and their languages. Theoret. Comput. Sci. 474, 21–45 (2013)
Bojańczyk, M., David, C., Muscholl, A., Schwentick, T., Segoufin, L.: Two-variable logic on data words. ACM Trans. Comput. Log. 12(4), 27 (2011)
Černý, P., Gopi, S., Henzinger, T.A., Radhakrishna, A., Totla, N.: Synthesis from incompatible specifications. In: Proceedings of EMSOFT 2012, pp. 53–62. ACM Press (2012)
Dassow, J., Vaszil, G.: P finite automata and regular languages over countably infinite alphabets. In: Hoogeboom, H.J., Păun, G., Rozenberg, G., Salomaa, A. (eds.) WMC 2006. LNCS, vol. 4361, pp. 367–381. Springer, Heidelberg (2006)
Droste, M., Kuich, W., Vogler, H. (eds.): Handbook of Weighted Automata. EATCS Monographs in Theoretical Computer Science. Springer (2009)
Droste, M., Meinecke, I.: Weighted automata and weighted MSO logics for average and long-time behaviors. Inform. and Comput. 220-221, 44–59 (2012)
Grumberg, O., Kupferman, O., Sheinvald, S.: Variable automata over infinite alphabets. In: Dediu, A.-H., Fernau, H., Martín-Vide, C. (eds.) LATA 2010. LNCS, vol. 6031, pp. 561–572. Springer, Heidelberg (2010)
Kaminski, M., Francez, N.: Finite-memory automata. Theoret. Comput. Sci. 134, 329–363 (1994)
Kaminski, M., Tan, T.: Regular expressions for languages over infinite alphabets. Fund. Inform. 69, 301–318 (2006)
Mens, I.-.E.: Tree automata over infinite ranked alphabets. Master thesis, Thessaloniki (2011), http://invenio.lib.auth.gr/record/128884/files/GRI-2012-8361.pdf
Mens, I.-.E., Rahonis, G.: Variable tree automata over infinite ranked alphabets. In: Winkler, F. (ed.) CAI 2011. LNCS, vol. 6742, pp. 247–260. Springer, Heidelberg (2011)
Neven, F., Schwentick, T., Vianu, V.: Towards regular languages over infinite alphabets. In: Sgall, J., Pultr, A., Kolman, P. (eds.) MFCS 2001. LNCS, vol. 2136, pp. 560–572. Springer, Heidelberg (2001)
Neven, F., Schwentick, T., Vianu, V.: Finite state machines for strings over infinite alphabets. ACM Trans. Comput. Log. 5, 403–435 (2004)
Shemesh, Y., Francez, N.: Finite-state unification automata and relational languages. Inform. and Comput. 114, 192–213 (1994)
Author information
Authors and Affiliations
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 2014 Springer International Publishing Switzerland
About this paper
Cite this paper
Pittou, M., Rahonis, G. (2014). Weighted Variable Automata over Infinite Alphabets. In: Holzer, M., Kutrib, M. (eds) Implementation and Application of Automata. CIAA 2014. Lecture Notes in Computer Science, vol 8587. Springer, Cham. https://doi.org/10.1007/978-3-319-08846-4_23
Download citation
DOI: https://doi.org/10.1007/978-3-319-08846-4_23
Publisher Name: Springer, Cham
Print ISBN: 978-3-319-08845-7
Online ISBN: 978-3-319-08846-4
eBook Packages: Computer ScienceComputer Science (R0)