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