Abstract
We introduce systems of equations of stochastic tree series and we consider two types of solutions, the [IO] and the OI, according to the substitutions we use to solve them. We show the existence of least [IO]- and OI-solutions whose non-zero components are proved to be stochastic tree series. A Kleene characterization holds for stochastically OI-equational tree series, i.e., components of least OI-solutions. Furthermore, we consider stochastic algebras and we state a Mezei-Wright type result relating least solutions of systems in arbitrary stochastic algebras and the term algebra.
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. Theoret. Comput. Sci. 18, 115–148 (1982)
Bloom, S.L., Ésik, Z.: An extension theorem with an application to formal tree series. J. Autom. Lang. Comb. 8, 145–185 (2003)
Bozapalidis, S.: Equational elements in additive algebras. Theory of Comput. Syst. 32, 1–33 (1999)
Bozapalidis, S., Fülöp, Z., Rahonis, G.: Equational tree transformations. Theoret. Comput. Sci. 412, 3676–3692 (2011)
Bozapalidis, S., Fülöp, Z., Rahonis, G.: Equational weighted tree transformations. Acta Inform. 49, 29–52 (2012)
Bozapalidis, S., Rahonis, G.: On the closure of recognizable tree series under tree homomorphisms. J. Autom. Lang. Comb. 10, 185–202 (2005)
Ésik, Z., Kuich, W.: Formal tree series. J. Autom. Lang. Comb. 8, 219–285 (2003)
Esparza, J., Gaizer, A., Kiefer, S.: Computing least fixed points of probabilistic systems of polynomilas. In: Proceedings of STACS 2010. LIPIcs, vol. 5, pp. 359–370. Schloss Dagstuhl–Leibniz-Zentrum fuer Informatik (2010)
Etessami, K., Yannakakis, M.: Recursice Markov chains, stochastic grammars, and monotone systems of non-linear equations. J. ACM 56, 1–66 (2009)
Etessami, K., Stewart, A., Yannakakis, M.: Polynomial time algorithms for multi-type branching processes and stochastic context-free grammars. In: Proceedings of the 44th Symposium on Theory of Computing, STOC 2012, pp. 579–588. ACM, New York (2012)
Etessami, K., Yannakakis, M.: Model checking of recursive probabilistic systems. ACM Trans. Comput. Logic 13(2), 12:1–12:40 (2012)
Fülöp, Z., Rahonis, G.: Equational weighted tree transformations with discounting. In: Kuich, W., Rahonis, G. (eds.) Algebraic Foundations in Computer Science. LNCS, vol. 7020, pp. 112–145. Springer, Heidelberg (2011)
Fülöp, Z., Vogler, H.: Weighted tree automata and tree transducers. In: Handbook of Weighted Automata. Monographs in Theoretical Computer Science, An EATCS Series, pp. 313–404. Springer (2009)
Kuich, W.: Formal series over algebras. In: Nielsen, M., Rovan, B. (eds.) MFCS 2000. LNCS, vol. 1893, pp. 488–496. Springer, Heidelberg (2000)
Mezei, J., Wright, J.B.: Algebraic automata and context-free sets. Inform. Control 11, 3–29 (1967)
Wechler, W.: Universal Algebra for Computer Scientists. EATCS Monographs on Theoretical Computer Science, vol. 25. Springer (1992)
Author information
Authors and Affiliations
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 2013 Springer-Verlag Berlin Heidelberg
About this paper
Cite this paper
Bozapalidis, S., Rahonis, G. (2013). Stochastic Equationality. In: Muntean, T., Poulakis, D., Rolland, R. (eds) Algebraic Informatics. CAI 2013. Lecture Notes in Computer Science, vol 8080. Springer, Berlin, Heidelberg. https://doi.org/10.1007/978-3-642-40663-8_17
Download citation
DOI: https://doi.org/10.1007/978-3-642-40663-8_17
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-642-40662-1
Online ISBN: 978-3-642-40663-8
eBook Packages: Computer ScienceComputer Science (R0)