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 a novel learning algorithm for NFA.

The libalf project is free software published under the LGPL v3 license.

Participating units

Currently the following universities are participating in the libalf project:

• RWTH Aachen University
• Ecole Normale Superieure de Cachan
• Technical University of Munich