A new algorithm for linear regular tree pattern matching

Shankar, Priti and Gantait, Amitranjan and Yuvaraj, AR and Madhavan, Maya (2000) A new algorithm for linear regular tree pattern matching. In: Theoretical Computer Science, 242 (1-2). pp. 125-142.

PDF A_new_algorithm_for_linear_regular_tree_pattern_matching.pdf Restricted to Registered users only Download (132kB) | Request a copy

Abstract

We consider the problem of linear regular tree pattern matching and describe a new solution based on a bottom up technique. Current bottom up techniques preprocess the patterns and construct a nite state tree pattern matching automaton for the purpose. Though matching time is linear in the size of the subject tree, the size of the automaton can be exponential in the sum of the sizes of all patterns. We show here that the problem can be cast as a parsing problem for a context free language, and a solution that uses an extension of the LR parsing technique can be devised.Though the size of the resulting pushdown automaton can be exponential in the pattern size in the worst case, there are problem instances for which exponential gains in succinctness of representation are obtained. The technique has been successfully applied to the problem of generation of an instruction selector in a compiler back end.

Item Type:	Journal Article
Publication:	Theoretical Computer Science
Publisher:	Elsevier
Additional Information:	Copyright of this article belongs to Elsevier.
Keywords:	Tree pattern matching;Regular tree grammars;Retargetable code generation
Department/Centre:	Division of Electrical Sciences > Computer Science & Automation
Date Deposited:	31 Aug 2006
Last Modified:	19 Sep 2010 04:30
URI:	http://eprints.iisc.ac.in/id/eprint/8111

Actions (login required)

View Item