LETHAL

The LETHAL Library. LETHAL is a Java library for working with finite tree and hedge automata. It supports a great variety of regular tree language operations and property evaluations. More advanced concepts like tree homomorphisms and transducers are also supported. Additionally the library comes with a scriptable graphical user interface to get started quickly. The concept of finite tree automata is to examine regular languages of trees, which are specially constructed sets of trees.