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.
References in zbMATH (referenced in 2 articles )
Showing results 1 to 2 of 2.
- Lengál, Ondřej; Šimáček, Jiří; Vojnar, Tomáš: VATA: a library for efficient manipulation of non-deterministic tree automata (2012)
- Lammich, Peter; Lochbihler, Andreas: The Isabelle collections framework (2010)