Skip to main content

Parsing Unranked Tree Languages, Folded Once

  • Conference paper
  • First Online:
Fundamentals of Computation Theory (FCT 2023)

Abstract

A regular unranked tree folding consists of a regular unranked tree language and a folding operation that merges, i.e., folds, selected nodes of a tree to form a graph; the combination is a formal device for representing graph languages. If, in the process of folding, the order among edges is discarded so that the result is an unordered graph, then two applications of a fold operation is enough to make the associated parsing problem NP-complete. However, if the order is kept, then the problem is solvable in non-uniform polynomial time. In this paper we address the remaining case where only one fold operation is applied, but the order among edges is discarded. We show that under these conditions, the problem is solvable in non-uniform polynomial time.

J. Björklund—Supported by the Swedish Research Council under Grant Number 2020-03852, and by the Wallenberg AI, Autonomous Systems and Software Program through the NEST project STING.

This is a preview of subscription content, log in via an institution to check access.

Access this chapter

Chapter
USD 29.95
Price excludes VAT (USA)
  • Available as PDF
  • Read on any device
  • Instant download
  • Own it forever
eBook
USD 59.99
Price excludes VAT (USA)
  • Available as EPUB and PDF
  • Read on any device
  • Instant download
  • Own it forever
Softcover Book
USD 79.99
Price excludes VAT (USA)
  • 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

Institutional subscriptions

References

  1. Arnborg, S., Corneil, D., Proskurowski, A.: Complexity of finding embeddings in a \(k\)-tree. SIAM J. Algebraic Discrete Methods 8(2), 277–284 (1987)

    Article  MathSciNet  MATH  Google Scholar 

  2. Berglund, M., Björklund, H., Björklund, J., Boiret, A.: Transduction from trees to graphs through folding. Available at SSRN 4291269 (2022)

    Google Scholar 

  3. Björklund, H., Björklund, J., Ericson, P.: On the regularity and learnability of ordered DAG languages. In: Carayol, A., Nicaud, C. (eds.) CIAA 2017. LNCS, vol. 10329, pp. 27–39. Springer, Cham (2017). https://doi.org/10.1007/978-3-319-60134-2_3

    Chapter  MATH  Google Scholar 

  4. Björklund, H., Drewes, F., Ericson, P.: Parsing weighted order-preserving hyperedge replacement grammars. In: 16th Meeting on the Mathematics of Language, MOL 2019, Toronto, Canada, pp. 1–11. ACL (2019)

    Google Scholar 

  5. Björklund, J.: Tree-to-graph transductions with scope. In: Hoshi, M., Seki, S. (eds.) DLT 2018. LNCS, vol. 11088, pp. 133–144. Springer, Cham (2018). https://doi.org/10.1007/978-3-319-98654-8_11

    Chapter  Google Scholar 

  6. Björklund, J., Drewes, F., Satta, G.: Z-Automata for compact and direct representation of unranked tree languages. In: Hospodár, M., Jirásková, G. (eds.) CIAA 2019. LNCS, vol. 11601, pp. 83–94. Springer, Cham (2019). https://doi.org/10.1007/978-3-030-23679-3_7

    Chapter  MATH  Google Scholar 

  7. Brüggemann-Klein, A., Murata, M., Wood, D.: Regular tree and regular hedge languages over unranked alphabets: Version 1. Technical report HKUST-TCSC-2001-0, The Hongkong University of Science and Technology (2001)

    Google Scholar 

  8. Drewes, F., Kreowski, H.J., Habel, A.: Hyperedge replacement graph grammars. In: Rozenberg, G. (ed.) Handbook of Graph Grammars and Computing by Graph Transformation, pp. 95–162. World Scientific, River Edge, NJ, USA (1997)

    Chapter  Google Scholar 

  9. Koller, A.: Semantic construction with graph grammars. In: Proceedings of the 14th International Conference on Computational Semantics, IWCS. London (2015)

    Google Scholar 

  10. Plump, D.: The graph programming language GP. In: Bozapalidis, S., Rahonis, G. (eds.) CAI 2009. LNCS, vol. 5725, pp. 99–122. Springer, Heidelberg (2009). https://doi.org/10.1007/978-3-642-03564-7_6

    Chapter  Google Scholar 

  11. Quernheim, D., Knight, K.: DAGGER: a toolkit for automata on directed acyclic graphs. In: Proceedings of the 10th International Workshop Finite-State Methods and Natural Language Processing, FSMNLP 2012, pp. 40–44. ACL (2012)

    Google Scholar 

  12. Tang, L., Liu, H.: Graph mining applications to social network analysis. In: Aggarwal, C., Wang, H. (eds.) Managing and Mining Graph Data. Advances in Database Systems, vol. 40, pp. 487–513. Springer, Boston (2010). https://doi.org/10.1007/978-1-4419-6045-0_16

    Chapter  Google Scholar 

  13. You, J., Leskovec, J., He, K., Xie, S.: Graph structure of neural networks. In: International Conference on Machine Learning, pp. 10881–10891. PMLR (2020)

    Google Scholar 

Download references

Acknowledgements

We would like to express our sincere gratitude to the anonymous reviewers for their constructive feedback, which greatly improved the quality of this manuscript.

Author information

Authors and Affiliations

Authors

Corresponding author

Correspondence to Martin Berglund .

Editor information

Editors and Affiliations

Rights and permissions

Reprints and permissions

Copyright information

© 2023 The Author(s), under exclusive license to Springer Nature Switzerland AG

About this paper

Check for updates. Verify currency and authenticity via CrossMark

Cite this paper

Berglund, M., Björklund, H., Björklund, J. (2023). Parsing Unranked Tree Languages, Folded Once. In: Fernau, H., Jansen, K. (eds) Fundamentals of Computation Theory. FCT 2023. Lecture Notes in Computer Science, vol 14292. Springer, Cham. https://doi.org/10.1007/978-3-031-43587-4_5

Download citation

  • DOI: https://doi.org/10.1007/978-3-031-43587-4_5

  • Published:

  • Publisher Name: Springer, Cham

  • Print ISBN: 978-3-031-43586-7

  • Online ISBN: 978-3-031-43587-4

  • eBook Packages: Computer ScienceComputer Science (R0)

Publish with us

Policies and ethics