Shifting Automata Learner / News: Recent posts

This release includes many essential features, like graphical configuration of algorithm parameters, fully working deterministic version of the algorithm, automata minimization, improved user interface flow, and an ability to take a look at the target automaton. Check out the latest screenshot to see what this release looks like. Download from https://sourceforge.net/project/showfiles.php?group_id=165465 .

Dfa-learner-0.1 has been released! This is still a Beta, since the project undoubtefully contains many bugs. However, the progress that has been made so far is significant, as one can see on the latest screenshot or by downloading the source code.