This paper presents
, a comprehensive, open-source library for learning formal languages.
covers various well-known learning techniques for finite automata (e.g. Angluin’s
etc.) as well as novel learning algorithms (such as for NFA and visibly one-counter automata).
is flexible and allows facilely interchanging learning algorithms and combining domain-specific features in a plug-and-play fashion. Its modular design and
implementation make it a suitable platform for adding and engineering further learning algorithms for new target models (e.g., Büchi automata).