Weighted Nested Word Automata and Logics over Strong Bimonoids

  • Manfred Droste
  • Bundit Pibaljommee
Part of the Lecture Notes in Computer Science book series (LNCS, volume 7381)


Nested words have been introduced by Alur and Madhusudan as a model for e.g. recursive programs or XML documents and have received much recent interest. In this paper, we investigate a quantitative automaton model and a quantitative logic for nested words. The behavior resp. the semantics map nested words to weights taken from a strong bimonoid. Strong bimonoids can be viewed as semirings without requiring the distributivity assumption which was essential in the classical theory of formal power series; strong bimonoids include e.g. all bounded lattices and many other structures from multi-valued logics. Our main results show that weighted nested word automata and suitable weighted MSO logics are expressively equivalent. This extends the classical Büchi-Elgot result from words to a weighted setting for nested words.


Formal Power Series Quantum Logic Boolean Formula Complement Function Weighted Logic 
These keywords were added by machine and not by the authors. This process is experimental and the keywords may be updated as the learning algorithm improves.


Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.


  1. 1.
    Alur, R., Arenas, M., Barceló, P., Etessami, K., Immerman, N., Libkin, L.: First-order and temporal logics for nested words. Logical Methods in Computer Science 4(4:11), 1–44 (2008)Google Scholar
  2. 2.
    Alur, R., Madhusudan, P.: Adding nesting structure to words. Journal of the ACM 56(3), article 16, 1–43 (2009)MathSciNetCrossRefGoogle Scholar
  3. 3.
    Birkhoff, B., von Neumann, J.: The logic of quantum mechanics. Annals of Math. 37, 823–843 (1936)CrossRefGoogle Scholar
  4. 4.
    Bollig, B., Gastin, P.: Weighted versus Probabilistic Logics. In: Diekert, V., Nowotka, D. (eds.) DLT 2009. LNCS, vol. 5583, pp. 18–38. Springer, Heidelberg (2009)CrossRefGoogle Scholar
  5. 5.
    Berstel, J., Reutenauer, C.: Rational Series and Their Languages. Monographs in Theoretical Computer Science, vol. 12. Springer (1988)Google Scholar
  6. 6.
    Ćirić, M., Droste, M., Ignjatović, J., Vogler, H.: Determinization of weighted finite automata over strong bimonoids. Inform. Sciences 180, 3497–3520 (2010)zbMATHCrossRefGoogle Scholar
  7. 7.
    Droste, M., Gastin, P.: Weighted automata and weighted logics. Theoretical Computer Science 380, 69–86 (2007); Special issue of ICALP 2005MathSciNetzbMATHCrossRefGoogle Scholar
  8. 8.
    Droste, M., Gastin, P.: Weighted automata and weighted logics. In: [9], ch. 5Google Scholar
  9. 9.
    Droste, M., Kuich, W., Vogler, H. (eds.): Handbook of Weighted Automata. EATCS Monographs in Theoretical Computer Science. Springer (2009)Google Scholar
  10. 10.
    Droste, M., Stüber, T., Vogler, H.: Weighted automata over strong bimonoids. Information Sciences 180, 156–166 (2010)MathSciNetzbMATHCrossRefGoogle Scholar
  11. 11.
    Droste, M., Vogler, H.: Weighted automata and multi-valued logics over arbitrary bounded lattices. Theoretical Computer Science 418, 14–36 (2012); Extended abstract in DLT 2010MathSciNetzbMATHCrossRefGoogle Scholar
  12. 12.
    Eilenberg, S.: Automata, Languages, and Machines, Volume A. Pure and Applied Mathematics, vol. 59. Academic Press (1974)Google Scholar
  13. 13.
    Gottwald, S.: A Treatise on Many-Valued Logics. Studies in Logic and Computation. Research Studies Press LTD, Hertfordshire (2001)zbMATHGoogle Scholar
  14. 14.
    Grätzer, G.: General Lattice Theory. Birkhäuser Verlag, Basel (2003)zbMATHGoogle Scholar
  15. 15.
    Kuich, W., Salomaa, A.: Semirings, Automata, Languages. Monographs in Theoretical Computer Science. An EATCS Series, vol. 6. Springer (1986)Google Scholar
  16. 16.
    Lengauer, T., Theune, D.: Unstructured Path Problems and the Making of Semirings. In: Dehne, F., Sack, J.-R., Santoro, N. (eds.) WADS 1991. LNCS, vol. 519, pp. 189–200. Springer, Heidelberg (1991)CrossRefGoogle Scholar
  17. 17.
    Li, Y.M.: Finite automata based on quantum logic and monadic second-order quantum logic. Science China Information Sciences 53, 101–114 (2010)MathSciNetCrossRefGoogle Scholar
  18. 18.
    Mallya, A.: Deductive Multi-valued Model Checking. In: Gabbrielli, M., Gupta, G. (eds.) ICLP 2005. LNCS, vol. 3668, pp. 297–310. Springer, Heidelberg (2005)CrossRefGoogle Scholar
  19. 19.
    Mathissen, C.: Weighted logics for nested words and algebraic formal power series. Logical Methods Computer in Science 6, 1–34 (2010); Special issue of ICALP 2008MathSciNetGoogle Scholar
  20. 20.
    Mohri, M.: Minimization algorithms for sequential transducers. Theoretical Computer Science 234, 177–201 (2000)MathSciNetzbMATHCrossRefGoogle Scholar
  21. 21.
    Mohri, M.: Weighted automata algorithms. In: [9], ch. 6Google Scholar
  22. 22.
    Qiu, D.: Automata theory based on quantum logic: some characterizations. Information and Computation 190, 179–195 (2004)MathSciNetzbMATHCrossRefGoogle Scholar
  23. 23.
    Qiu, D.: Automata theory based on quantum logic: Reversibilities and pushdown automata. Theoretical Computer Science 386, 38–56 (2007)MathSciNetzbMATHCrossRefGoogle Scholar
  24. 24.
    Schützenberger, M.P.: On the definition of a family of automata. Information and Control 4, 245–270 (1961)MathSciNetzbMATHCrossRefGoogle Scholar
  25. 25.
    Salomaa, A., Soittola, M.: Automata-Theoretic Aspects of Formal Power Series. Texts and Monographs in Computer Science. Springer (1978)Google Scholar
  26. 26.
    Ying, M.: Automata theory based on quantum logic (I) and (II). Int. J. of Theoret. Physics 39, 985–995, 2545-2557 (2000)zbMATHCrossRefGoogle Scholar
  27. 27.
    Ying, M.: A theory of computation based on quantum logic (I). Theoretical Computer Science 344, 134–207 (2005)MathSciNetzbMATHCrossRefGoogle Scholar

Copyright information

© Springer-Verlag Berlin Heidelberg 2012

Authors and Affiliations

  • Manfred Droste
    • 1
  • Bundit Pibaljommee
    • 2
  1. 1.Institut für InformatikUniversität LeipzigLeipzigGermany
  2. 2.Department of Mathematics, Faculty of ScienceKhon Kaen UniversityKhon KaenThailand

Personalised recommendations