Artifacts using automata-util version 0.11.0

Example learning setups to be used for integration testing

Support classes for easily writing integration test cases for learning algorithms

A collection of utility methods for learning setups (oracle wrappers, etc.)

A collection of equivalence oracles

Caches to avoid posing duplicate membership queries

Data- and utility classes for Discrimination Trees

Filters for collecting statistical data

This artifact contains algorithms for incrementally constructing DFAs (prefix-closed and non-prefix-closed), Mealy machines, and Moore machines from a finite, incrementally growing set of example inputs/outputs.

Support for posing membership queries in parallel

Data- and utility classes for Prefix-Tree-Acceptors