Faculty of Information Technology, BUT

Product Details

VATA: A Library for Efficient Manipulation of Non-Deterministic Tree Automata

Created: 2012

Czech title
VATA: Knihovna pro efektivní práci s nedeterministickými stromovými automaty
Type
software
License
required - free
Authors
Keywords
tree automaton, language inclusion, antichain, simulation, tree automata library
Description
The library contains efficient implementation of tree automata operations with the focus on testing language inclusion of a pair of automata.
Location
Licence
Free software under the terms of GNU GPL (cf. http://www.gnu.org/licenses/gpl.html).
Back to top