Skip to main content

Weighted Nested Word Automata and Logics over Strong Bimonoids

  • Conference paper

Part of the Lecture Notes in Computer Science book series (LNTCS,volume 7381)

Abstract

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.

Keywords

  • 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.

This work has been supported by DFG-NRCT.

This is a preview of subscription content, access via your institution.

Buying options

Chapter
USD   29.95
Price excludes VAT (Canada)
  • Available as PDF
  • Read on any device
  • Instant download
  • Own it forever
eBook
USD   39.99
Price excludes VAT (Canada)
  • Available as PDF
  • Read on any device
  • Instant download
  • Own it forever
Softcover Book
USD   54.99
Price excludes VAT (Canada)
  • Compact, lightweight edition
  • Dispatched in 3 to 5 business days
  • Free shipping worldwide - see info

Tax calculation will be finalised at checkout

Purchases are for personal use only

Learn about institutional subscriptions

Preview

Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.

References

  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. Alur, R., Madhusudan, P.: Adding nesting structure to words. Journal of the ACM 56(3), article 16, 1–43 (2009)

    CrossRef  MathSciNet  Google Scholar 

  3. Birkhoff, B., von Neumann, J.: The logic of quantum mechanics. Annals of Math. 37, 823–843 (1936)

    CrossRef  Google Scholar 

  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)

    CrossRef  Google Scholar 

  5. Berstel, J., Reutenauer, C.: Rational Series and Their Languages. Monographs in Theoretical Computer Science, vol. 12. Springer (1988)

    Google Scholar 

  6. Ćirić, M., Droste, M., Ignjatović, J., Vogler, H.: Determinization of weighted finite automata over strong bimonoids. Inform. Sciences 180, 3497–3520 (2010)

    CrossRef  MATH  Google Scholar 

  7. Droste, M., Gastin, P.: Weighted automata and weighted logics. Theoretical Computer Science 380, 69–86 (2007); Special issue of ICALP 2005

    CrossRef  MathSciNet  MATH  Google Scholar 

  8. Droste, M., Gastin, P.: Weighted automata and weighted logics. In: [9], ch. 5

    Google Scholar 

  9. Droste, M., Kuich, W., Vogler, H. (eds.): Handbook of Weighted Automata. EATCS Monographs in Theoretical Computer Science. Springer (2009)

    Google Scholar 

  10. Droste, M., Stüber, T., Vogler, H.: Weighted automata over strong bimonoids. Information Sciences 180, 156–166 (2010)

    CrossRef  MathSciNet  MATH  Google Scholar 

  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 2010

    CrossRef  MathSciNet  MATH  Google Scholar 

  12. Eilenberg, S.: Automata, Languages, and Machines, Volume A. Pure and Applied Mathematics, vol. 59. Academic Press (1974)

    Google Scholar 

  13. Gottwald, S.: A Treatise on Many-Valued Logics. Studies in Logic and Computation. Research Studies Press LTD, Hertfordshire (2001)

    MATH  Google Scholar 

  14. Grätzer, G.: General Lattice Theory. Birkhäuser Verlag, Basel (2003)

    MATH  Google Scholar 

  15. Kuich, W., Salomaa, A.: Semirings, Automata, Languages. Monographs in Theoretical Computer Science. An EATCS Series, vol. 6. Springer (1986)

    Google Scholar 

  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)

    CrossRef  Google Scholar 

  17. Li, Y.M.: Finite automata based on quantum logic and monadic second-order quantum logic. Science China Information Sciences 53, 101–114 (2010)

    CrossRef  MathSciNet  Google Scholar 

  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)

    CrossRef  Google Scholar 

  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 2008

    MathSciNet  Google Scholar 

  20. Mohri, M.: Minimization algorithms for sequential transducers. Theoretical Computer Science 234, 177–201 (2000)

    CrossRef  MathSciNet  MATH  Google Scholar 

  21. Mohri, M.: Weighted automata algorithms. In: [9], ch. 6

    Google Scholar 

  22. Qiu, D.: Automata theory based on quantum logic: some characterizations. Information and Computation 190, 179–195 (2004)

    CrossRef  MathSciNet  MATH  Google Scholar 

  23. Qiu, D.: Automata theory based on quantum logic: Reversibilities and pushdown automata. Theoretical Computer Science 386, 38–56 (2007)

    CrossRef  MathSciNet  MATH  Google Scholar 

  24. Schützenberger, M.P.: On the definition of a family of automata. Information and Control 4, 245–270 (1961)

    CrossRef  MathSciNet  MATH  Google Scholar 

  25. Salomaa, A., Soittola, M.: Automata-Theoretic Aspects of Formal Power Series. Texts and Monographs in Computer Science. Springer (1978)

    Google Scholar 

  26. Ying, M.: Automata theory based on quantum logic (I) and (II). Int. J. of Theoret. Physics 39, 985–995, 2545-2557 (2000)

    CrossRef  MATH  Google Scholar 

  27. Ying, M.: A theory of computation based on quantum logic (I). Theoretical Computer Science 344, 134–207 (2005)

    CrossRef  MathSciNet  MATH  Google Scholar 

Download references

Author information

Authors and Affiliations

Authors

Editor information

Editors and Affiliations

Rights and permissions

Reprints and Permissions

Copyright information

© 2012 Springer-Verlag Berlin Heidelberg

About this paper

Cite this paper

Droste, M., Pibaljommee, B. (2012). Weighted Nested Word Automata and Logics over Strong Bimonoids. In: Moreira, N., Reis, R. (eds) Implementation and Application of Automata. CIAA 2012. Lecture Notes in Computer Science, vol 7381. Springer, Berlin, Heidelberg. https://doi.org/10.1007/978-3-642-31606-7_12

Download citation

  • DOI: https://doi.org/10.1007/978-3-642-31606-7_12

  • Publisher Name: Springer, Berlin, Heidelberg

  • Print ISBN: 978-3-642-31605-0

  • Online ISBN: 978-3-642-31606-7

  • eBook Packages: Computer ScienceComputer Science (R0)