Module de.learnlib.algorithm.lstar

Package de.learnlib.algorithm.lstar.dfa

Class Summary

Class	Description
ClassicLStarDFA<I>	Implementation of the L* algorithm by Dana Angluin.
ClassicLStarDFABuilder<I>	A builder for constructing ClassicLStarDFA instances.
ExtensibleLStarDFA<I>	An implementation of Angluin's L* algorithm for learning DFAs, as described in the paper "Learning Regular Sets from Queries and Counterexamples".
ExtensibleLStarDFABuilder<I>	A builder for constructing ExtensibleLStarDFA instances.
LStarDFAUtil