Forest fire: A taxonomy-based toolkit of tree automata and regular tree algorithms

Abstract

We report on a toolkit of tree automata and algorithms for tree acceptance, pattern matching, and parsing. Despite many applications, no large toolkit of such algorithms existed, complicating choice among them. Our toolkit's design was guided by our taxonomies of such algorithms, and this is clearly reflected in its structure. We outline one taxonomy and discuss how its hierarchy determines the toolkit's class and interface hierarchies. The toolkit, available at http://www.fastar.org, contains about 50 tree algorithms and automata constructions. © 2009 Springer Berlin Heidelberg.