Example learning setups to be used for integration testing

A collection of membership oracles

Support classes for easily writing integration test cases for learning algorithms

Support classes for easily writing unit tests for various components of LearnLib

A collection of equivalence oracles

Utilities for simulating SULs

Membership and equivalence oracles using an automaton model as backend

Caches to avoid posing duplicate membership queries

A collection of basic algorithm for approximating equivalence queries

This artifact provides the implementation of the L* learning algorithm described in the paper "Learning Regular Sets from Queries and Counterexamples" (https://doi.org/10.1016/0890-5401(87)90052-6) by Dana Angluin including variations ...

A flexible, optimized version of Dana Angluin's L* algorithm