Artifacts using automata-util version 0.10.0

Example learning setups to be used for integration testing

Support classes for easily writing integration test cases for learning algorithms

(De-)Serializers for the DOT Format

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

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.

Filters for collecting statistical data

Data- and utility classes for Prefix-Tree-Acceptors