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.
Restricted to Registered users only
Download (129Kb) | Request a copy
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|
|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 (Formerly, School of Automation)|
|Date Deposited:||31 Aug 2006|
|Last Modified:||19 Sep 2010 04:30|
Actions (login required)