libalf: The Automata Learning Framework [chapter]

Benedikt Bollig, Joost-Pieter Katoen, Carsten Kern, Martin Leucker, Daniel Neider, David R. Piegdon
2010 Lecture Notes in Computer Science  
This paper presents libalf, a comprehensive, open-source library for learning formal languages. libalf covers various well-known learning techniques for finite automata (e.g. Angluin's L * , Biermann, RPNI etc.) as well as novel learning algorithms (such as for NFA and visibly one-counter automata). libalf is flexible and allows facilely interchanging learning algorithms and combining domain-specific features in a plug-and-play fashion. Its modular design and C++ implementation make it a
more » ... e platform for adding and engineering further learning algorithms for new target models (e.g., Büchi automata).
doi:10.1007/978-3-642-14295-6_32 fatcat:2sngy2rnxjeixmh3y5rfr3tkji