Package | Description |
---|---|
de.learnlib.algorithms.lstargeneric | |
de.learnlib.algorithms.lstargeneric.dfa | |
de.learnlib.algorithms.lstargeneric.mealy |
Modifier and Type | Class and Description |
---|---|
class |
AbstractAutomatonLStar<A,I,O,S,T,SP,TP,AI extends MutableDeterministic<S,I,T,SP,TP>>
Abstract base class for algorithms that produce (subclasses of)
MutableDeterministic
automata. |
class |
ExtensibleAutomatonLStar<A,I,O,S,T,SP,TP,AI extends MutableDeterministic<S,I,T,SP,TP>> |
Modifier and Type | Class and Description |
---|---|
class |
ExtensibleLStarDFA<I>
An implementation of Angluin's L* algorithm for learning DFAs, as described in the paper
"Learning Regular Sets from Queries and Counterexamples".
|
Modifier and Type | Class and Description |
---|---|
class |
ClassicLStarMealy<I,O>
An implementation of the L*Mealy algorithm for inferring Mealy machines, as described
by Oliver Niese in his Ph.D. thesis.
|
class |
ExtensibleLStarMealy<I,O> |
Copyright © 2014. All Rights Reserved.