State Complexity of Regular Tree Languages for Tree Matching

Ko, Sang-Ki, Lee, Ha-Rim and Han, Yo-Sub (2016) State Complexity of Regular Tree Languages for Tree Matching. International Journal of Foundations of Computer Science, 27 (08). pp. 965-979.

Text ijfcs_sc_rtltm.pdf - Author Accepted Manuscript Download (248kB)

Abstract

<jats:p>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.</jats:p>

Item Type:	Article
Depositing User:	Symplectic Admin
Date Deposited:	20 Apr 2017 09:16
Last Modified:	19 Jan 2023 07:06
DOI:	10.1142/s0129054116500398
Related URLs:	Publisher
URI:	https://livrepository.liverpool.ac.uk/id/eprint/3007017