Package de.learnlib.algorithms.lstargeneric.dfa

Class Summary

Class	Description
ExtensibleLStarDFA<I>	An implementation of Angluin's L* algorithm for learning DFAs, as described in the paper "Learning Regular Sets from Queries and Counterexamples".
LStarDFAUtil