This PR begins the work of porting the existing learning algorithms and structures to the new automata codebase. The work consists mainly of no longer ignoring tests, getting things to build and fixing bugs. Right now, we have a working DPAinf algorithm, which can learn FORCs and the precise DPA. Also working is the L* active learner.
For the moment, I will merge this in, to be able to work on other things. But there is still quite some cleanup to do...
This PR begins the work of porting the existing learning algorithms and structures to the new
automatacodebase. The work consists mainly of no longer ignoring tests, getting things to build and fixing bugs. Right now, we have a working DPAinf algorithm, which can learn FORCs and the precise DPA. Also working is the L* active learner. For the moment, I will merge this in, to be able to work on other things. But there is still quite some cleanup to do...