Package de.learnlib.algorithm.aaar

This package (and sub-packages) provides the implementation of the AAAR learning algorithm as described in the paper Automata Learning with Automated Alphabet Abstraction Refinement by Falk Howar, Bernhard Steffen, and Maik Merten.

Interface Summary

Interface	Description
Abstraction<AI,CI>	An interface for mapping concrete symbols to their abstraction, and abstractions to their representatives, respectively.
ExplicitInitialAbstraction<AI,CI>	This interface denotes an Abstraction that additionally provides an initial classification of abstract input symbols.

Class Summary

Class	Description
AbstractAAARLearner<L extends LearningAlgorithm<CM,CI,D> & SupportsGrowingAlphabet<CI>,AM,CM,AI,CI,D>	Base implementation of the learner presented in "Automata Learning with Automated Alphabet Abstraction Refinement" by Howar et al.
TranslatingDFA<S,AI,CI>
TranslatingMealyMachine<S,AI,CI,T,O>
TranslatingMooreMachine<S,AI,CI,T,O>