Package de.learnlib.algorithm.lstar.dfa
-
Class Summary Class Description ClassicLStarDFA<I> Implementation of the L* algorithm by Dana Angluin.ClassicLStarDFABuilder<I> 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> LStarDFAUtil