State complexity of regular tree languages for tree pattern matching

Sang Ki Ko, Ha Rim Lee, Yo Sub Han

Research output: Chapter in Book/Report/Conference proceedingConference contribution

1 Citation (Scopus)

Abstract

We study the state complexity of regular tree languages for tree matching problem. Given a tree t and a set of pattern trees L, we can decide whether or not there exists a subtree occurrence of trees in L from the tree t by considering the new language L′ which accepts all trees containing trees in L as subtrees. We consider the case when we are given a set of pattern trees as a regular tree language and investigate the state complexity. Based on the sequential and parallel tree concatenation, we define three types of tree languages for deciding the existence of different types of subtree occurrences. We also study the deterministic top-down state complexity of path-closed languages for the same problem.

Original languageEnglish
Title of host publicationDescriptional Complexity of Formal Systems - 16th International Workshop, DCFS 2014, Proceedings
PublisherSpringer Verlag
Pages246-257
Number of pages12
ISBN (Print)9783319097039
DOIs
Publication statusPublished - 2014
Event16th International Workshop on Descriptional Complexity of Formal Systems, DCFS 2014 - Turku, Finland
Duration: 2014 Aug 52014 Aug 8

Publication series

NameLecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)
Volume8614 LNCS
ISSN (Print)0302-9743
ISSN (Electronic)1611-3349

Other

Other16th International Workshop on Descriptional Complexity of Formal Systems, DCFS 2014
CountryFinland
CityTurku
Period14/8/514/8/8

All Science Journal Classification (ASJC) codes

  • Theoretical Computer Science
  • Computer Science(all)

Fingerprint Dive into the research topics of 'State complexity of regular tree languages for tree pattern matching'. Together they form a unique fingerprint.

Cite this