Abstract
This survey paper serves two purposes: Firstly, we consider cycle-free algebraic systems (with respect to a given strong convergence) as a generalization of the usually considered proper systems (with respect to the discrete convergence). Secondly, we develop in a parallel manner the theory of these cycle-free algebraic systems over an arbitrary semiring and the theory of arbitrary algebraic systems over a continuous semiring. In both cases we prove that algebraic systems and weighted pushdown automata are mechanisms of equal power.
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.: Les séries rationelles et leurs langages, Masson (1984); English translation: Rational Series and Their Languages. EATCS Monographs on Theoretical Computer Science, vol. 12. Springer, Heidelberg (1988)
Bloom, S.L., Ésik, Z.: Iteration Theories. EATCS Monographs on Theoretical Computer Science. Springer, Heidelberg (1993)
Bozapalidis, S.: Context-free series on trees. Information and Computation 169, 186–229 (2001)
Chomsky, N.: Context-free grammars and pushdown storage. MIT Res. Lab. of Elect., Quarterly Prog. Rep. 65, 187–194 (1962)
Droste, M., Kuich, W.: Semirings and formal power series. In: Droste, M., Kuich, W., Vogler, H. (eds.) Handbook of Weighted Automata, pp. 3–28. Springer, Heidelberg (2009)
Ésik, Z., Kuich, W.: Formal tree series. J. Automata, Languages and Combinatorics 8, 219–285 (2003)
Ésik, Z., Kuich, W.: Modern Automata Theory, http://www.dmg.tuwien.ac.at/kuich
Ésik, Z., Kuich, W.: A unifying Kleene Theorem for weighted finite automata. In: Calude, C.S., Rozenberg, G., Salomaa, A. (eds.) Rainbow of Computer Science. LNCS, vol. 6570, pp. 76–89. Springer, Heidelberg (2011)
Ésik, Z., Leiß, H.: Greibach normal form in algebraically complete semirings. In: Bradfield, J.C. (ed.) CSL 2002 and EACSL 2002. LNCS, vol. 2471, pp. 135–150. Springer, Heidelberg (2002)
Guessarian, I.: Algebraic Semantics. LNCS, vol. 99. Springer, Heidelberg (1981)
Harrison, M.A.: Introduction to Formal Language Theory. Addison-Wesley, Reading (1978)
Knopp, K.: Theorie und Anwendungen der unendlichen Reihen. 3. Aufl. Springer, Heidelberg (1931)
Kuich, W.: Semirings and formal power series: Their relevance to formal languages and automata theory. In: Rozenberg, G., Salomaa, A. (eds.) Handbook of Formal Languages, vol. 1, ch. 9, pp. 609–677. Springer, Heidelberg (1997)
Kuich, W.: Pushdown tree automata, algebraic tree systems, and algebraic tree series. Information and Computation 165, 69–99 (2001)
Kuich, W., Salomaa, A.: Semirings, Automata, Languages. EATCS Monographs on Theoretical Computer Science, vol. 5. Springer, Heidelberg (1986)
Markowsky, G.: Chain-complete posets and directed sets with applications. Algebra Universalis 6, 53–68 (1976)
Petre, I., Salomaa, A.: Algebraic systems and pushdown automata. In: Droste, M., Kuich, W., Vogler, H. (eds.) Handbook of Weighted Automata, pp. 257–289. Springer, Heidelberg (2009)
Sakarovitch, J.: Éléments de théorie des automates, Vuibert (2003)
Salomaa, A., Soittola, M.: Automata-Theoretic Aspects of Formal Power Series. Springer, Heidelberg (1978)
Author information
Authors and Affiliations
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 2011 Springer-Verlag Berlin Heidelberg
About this chapter
Cite this chapter
Kuich, W. (2011). Algebraic Systems and Pushdown Automata. In: Kuich, W., Rahonis, G. (eds) Algebraic Foundations in Computer Science. Lecture Notes in Computer Science, vol 7020. Springer, Berlin, Heidelberg. https://doi.org/10.1007/978-3-642-24897-9_11
Download citation
DOI: https://doi.org/10.1007/978-3-642-24897-9_11
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-642-24896-2
Online ISBN: 978-3-642-24897-9
eBook Packages: Computer ScienceComputer Science (R0)