A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2011; you can also visit the original URL.
The file type is application/pdf.
libalf: The Automata Learning Framework
[chapter]
2010
Lecture Notes in Computer Science
Preserved Fulltext
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
doi:10.1007/978-3-642-14295-6_32
fatcat:2sngy2rnxjeixmh3y5rfr3tkji