Go home now Header Background Image
Submission Procedure
share: |
Follow us
Volume 22 / Issue 2

available in:   PDF (156 kB) PS (343 kB)
Similar Docs BibTeX   Write a comment
Links into Future
DOI:   10.3217/jucs-022-02-0180


A Taxonomy of Minimisation Algorithms for Deterministic Tree Automata

Johanna Björklund (Umeå University, Sweden)

Loek Cleophas (Umeå University, Sweden)

Abstract: We present a taxonomy of algorithms for minimising deterministic bottomup tree automata (dtas) over ranked and ordered trees. Automata of this type and its extensions are used in many application areas, including natural language processing (nlp) and code generation. In practice, dtas can grow very large, but minimisation keeps things manageable. The proposed taxonomy serves as a unifying framework that makes algorithms accessible and comparable, and as a foundation for efficient implementation. Taxonomies of this type are also convenient for correctness and complexity analysis, as results can frequently be propagated through the hierarchy. The taxonomy described herein covers a broad spectrum of algorithms, ranging from novel to well-studied ones, with a focus on computational complexity.

Keywords: algorithm taxonomies, automata minimisation, deterministic bottom-up tree automata

Categories: F.1.1, F.4.3