You are here

Libalf: The Automata Learning Framework

The libalf library is a comprehensive, open-source library for learning finite-state automata covering various well-known learning techniques (such as Angluin's L*, Biermann's learning approach, and RPNI), as well as novel learning algorithms (e.g. for NFA and visibly one-counter automata).

It can be found here: http://libalf.informatik.rwth-aachen.de/