### Abstract

Language | English |
---|---|

Title of host publication | Proceedings of the Prague Stringology Conference 2009 (PSC'09, Prague, Czech Republic, August 31-September 2, 2009) |

Editors | J. Holub, J. Zdarek |

Place of Publication | Prague |

Publisher | Czech Technical University in Prague |

Pages | 146-159 |

ISBN (Print) | 978-80-01-04403-2 |

State | Published - 2009 |

### Fingerprint

### Cite this

*Proceedings of the Prague Stringology Conference 2009 (PSC'09, Prague, Czech Republic, August 31-September 2, 2009)*(pp. 146-159). Prague: Czech Technical University in Prague.

}

*Proceedings of the Prague Stringology Conference 2009 (PSC'09, Prague, Czech Republic, August 31-September 2, 2009).*Czech Technical University in Prague, Prague, pp. 146-159.

**Taxonomies of regular tree algorithms.** / Cleophas, L.G.W.A.; Hemerik, C.

Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › Academic › peer-review

TY - GEN

T1 - Taxonomies of regular tree algorithms

AU - Cleophas,L.G.W.A.

AU - Hemerik,C.

PY - 2009

Y1 - 2009

N2 - Algorithms for acceptance, pattern matching and parsing of regular trees and the tree automata used in these algorithms have many applications, including instruction selection in compilers, implementation of term rewriting systems, and model checking. Many such tree algorithms and constructions for such tree automata appear in the literature, but some deficiencies existed, including: inaccessibility of theory and algorithms; difficulty of comparing algorithms due to variations in presentation style and level of formality; and lack of reference to the theory in many publications. An algorithm taxonomy is an effective means of bringing order to such a field. We report on two taxonomies of regular tree algorithms that we have constructed to deal with the deficiencies. The complete work has been presented in the PhD thesis of the first author.

AB - Algorithms for acceptance, pattern matching and parsing of regular trees and the tree automata used in these algorithms have many applications, including instruction selection in compilers, implementation of term rewriting systems, and model checking. Many such tree algorithms and constructions for such tree automata appear in the literature, but some deficiencies existed, including: inaccessibility of theory and algorithms; difficulty of comparing algorithms due to variations in presentation style and level of formality; and lack of reference to the theory in many publications. An algorithm taxonomy is an effective means of bringing order to such a field. We report on two taxonomies of regular tree algorithms that we have constructed to deal with the deficiencies. The complete work has been presented in the PhD thesis of the first author.

M3 - Conference contribution

SN - 978-80-01-04403-2

SP - 146

EP - 159

BT - Proceedings of the Prague Stringology Conference 2009 (PSC'09, Prague, Czech Republic, August 31-September 2, 2009)

PB - Czech Technical University in Prague

CY - Prague

ER -