A

automata

The point of this tool is to learn a Pomset Recognizer (PR) or a Tree Automaton (TA, not implemented yet) by querying a Minimally Adequate Teacher (MAT). For more details, please read the companion article: https://arxiv.org/abs/2501.03914

Vcsn is a finite state machine manipulation platform, consisting of a templated C++ library, a dynamic C++ API, and Python GUI.

See http://vcsn.lrde.epita.fr.