Tree template matching in ranked ordered trees by pushdown automata

  • Authors:

  • Tomáš Flouri;Jan Janoušek;Bořivoj Melichar;Costas S. Iliopoulos;Solon P. Pissis

  • Affiliations:

  • Dept. of Theoretical Computer Science, Faculty of Information Technology, Technical University in Prague, Czech;Dept. of Theoretical Computer Science, Faculty of Information Technology, Technical University in Prague, Czech;Dept. of Theoretical Computer Science, Faculty of Information Technology, Technical University in Prague, Czech;Dept. of Informatics, King's College London, London, UK and DEBII, Curtin University of Technology, Perth, Australia;Dept. of Informatics, King's College London, London, UK

  • Venue:
  • CIAA'11 Proceedings of the 16th international conference on Implementation and application of automata
  • Year:
  • 2011

Quantified Score

Hi-index 0.00

Visualization

Abstract

We consider the problem of tree template matching in ranked ordered trees, and propose a solution based on the bottom-up technique. Specifically, we transform the tree pattern matching problem to a string matching problem, by transforming the tree template and the subject tree to strings representing their postfix notation, and then use pushdown automata as the computational model. The method is analogous to the construction of string pattern matchers. The given tree template is preprocessed once, by constructing a nondeterministic pushdown automaton, which is then transformed to the equivalent deterministic one. Although we prove that the space required for preprocessing is exponential to the size of the tree template in the general case, the space required for a specific class of tree templates is linear. The time required for the searching phase is linear to the size of the subject tree in both cases.