Abstract
We sketch the proof of a Kleene-type theorem for formal tree-series over commutative semirings. That is, for a suitable set of rational operations we show that the proper rational formal tree-series coincide with the recognizable ones. A complete proof is part of the PhD-thesis of the author, which is available at [9].
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
Berstel, J., Reutenauer, C.: Recognizable formal power series on trees. Theoretical Computer Science 18, 115–148 (1982)
Bloom, S.L., Ésik, Z.: An extension theorem with an application to formal tree series. BRICS Report Series RS-02-19, University of Aarhus (2002)
Bozapalidis, S.: Equational elements in additive algebras. Theory Comput. Systems 32, 1–33 (1999)
Culik, K., Kari, J.: Image compression using weighted finite automata. Computer and Graphics 17, 305–313 (1993)
Droste, M., Vogler, H.: A Kleene theorem for weighted tree automata. technical report TUD-FI02-04, Technische Universität Dresden (2002)
Kleene, S.E.: Representation of events in nerve nets and finite automata. In: Shannon, C.E., McCarthy, J. (eds.) Automata Studies, pp. 3–42. Princeton University Press, Princeton (1956)
Kuich, W.: Formal power series over trees. In: Proc. of the 3rd International Conference Developments in Language Theory, Aristotle University of Thesaloniki, pp. 60–101 (1997)
Mohri, M.: Finite-state transducers in language and speech processing. Computational Linguistics 23, 269–311 (1997)
Pech, C.: Kleene-type results for weighted tree-automata. Dissertation, TU-Dresden (2003), http://www.math.tu-dresden.de/~pech/diss.ps
Schützenberger, M.P.: On the definition of a family of automata. Information and Control 4, 245–270 (1961)
Thatcher, J.W., Wright, J.B.: Generalized finite automata theory with application to a decision problem of second-order logic. Math. Systems Theory 2, 57–81 (1968)
Author information
Authors and Affiliations
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 2003 Springer-Verlag Berlin Heidelberg
About this paper
Cite this paper
Pech, C. (2003). Kleene’s Theorem for Weighted Tree-Automata. In: Lingas, A., Nilsson, B.J. (eds) Fundamentals of Computation Theory. FCT 2003. Lecture Notes in Computer Science, vol 2751. Springer, Berlin, Heidelberg. https://doi.org/10.1007/978-3-540-45077-1_36
Download citation
DOI: https://doi.org/10.1007/978-3-540-45077-1_36
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-540-40543-6
Online ISBN: 978-3-540-45077-1
eBook Packages: Springer Book Archive