Home home
Subscribe to our feed
About Demo Download Documentation Literature Team Contact


Download Archive

The libalf project is split into several parts:

libalf The libalf learning framework itself. It contains all functionality to embed different kinds of (offline and/or online algorithms) into your learning application. It can be used as C++ library directly, via JNI (Java Native Interface) or via a dedicated client/server application called the dispatcher. Note that the dispatcher itself can only be compiled under unix due to posix compatibility issues.
libAMoRE(++) libAMoRE is a comprehensive automata library written in C. libAMoRE++ is a C++ interface to libAMoRE, implementing several extensions and additional functionality.
libmVCA A C++ library for visibly one-counter automata.
liblangen A C++ library for generating (regular) languages by means of randomly drawn finite automata or regular expressions. More explicitly, this library can currently generate random DFA, NFA and regular expressions.
finite automata tool A command-line tool for creating, transforming and comparing automata.

libalf Source Code

Below you find recent sources of the libalf project. Older version can be found in the archive.

libalf 0.3 Source code
libAMoRE(++) 0.3 Source code
libmVCA 0.3 Source code
liblangen 0.3 Source code
finite automata tool 0.3 Source code
Examples (C++ and Java) 0.3 Source code

libalf Demo

You can download the libalf demo as jar file. Please note that the demo requires libalf version 0.1 to run. Please also visit our demo page.


All parts of the libalf project are free software published under the LGPL v3 license. You are allowed to use libalf in commercial and non-commercial projects, but if you modify libalf, you have to publish the code again under the LGPL license.

Latest news

April 9th, 2011

Release of libalf 0.3. Version 0.3 features some new features and the Rivest / Schapire learning algorithm. Please have a look at the Changelog.

March 10th, 2010

Release of libalf 0.2. Version 0.2 now features the Kearns / Vazirani and Biermann's original learning algorithm. Additionally, various bugs are fixed.

October 19th, 2009

libalf website launched. On October 19th, 2009 the libalf team launched the new website.

October 12th, 2009

libalf released. The first beta of the libalf library has been released.

libalf demo

read more

Disclaimer Original design by Stylish Website Templates