TreeLearn

Project information

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

c++ automata pomsets

251 Commits
4 Branches
1 Tag

README

Created on

May 26, 2025

Loading