Modifier and Type | Class and Description |
---|---|
class |
BaselineLStar<I>
Implementation of the L* algorithm by Dana Angluin
|
Modifier and Type | Class and Description |
---|---|
class |
MealyDHC<I,O> |
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 |
AbstractLStar<A,I,O>
An abstract base class for L*-style algorithms.
|
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> |
Modifier and Type | Interface and Description |
---|---|
static interface |
LearningAlgorithm.DFALearner<I> |
static interface |
LearningAlgorithm.MealyLearner<I,O> |
Constructor and Description |
---|
Experiment.DFAExperiment(LearningAlgorithm<? extends DFA<?,I>,I,Boolean> learningAlgorithm,
EquivalenceOracle<? super DFA<?,I>,I,Boolean> equivalenceAlgorithm,
Alphabet<I> inputs) |
Experiment.MealyExperiment(LearningAlgorithm<? extends MealyMachine<?,I,?,O>,I,Word<O>> learningAlgorithm,
EquivalenceOracle<? super MealyMachine<?,I,?,O>,I,Word<O>> equivalenceAlgorithm,
Alphabet<I> inputs) |
Experiment(LearningAlgorithm<? extends A,I,O> learningAlgorithm,
EquivalenceOracle<? super A,I,O> equivalenceAlgorithm,
Alphabet<I> inputs) |
Modifier and Type | Method and Description |
---|---|
static <M extends MealyMachine<?,I,?,O>,I,O> |
MealyUtil.wrapSymbolLearner(LearningAlgorithm<M,I,O> learner) |
Modifier and Type | Method and Description |
---|---|
static <M extends MealyMachine<?,I,?,O>,I,O> |
MealyUtil.wrapSymbolLearner(LearningAlgorithm<M,I,O> learner) |
Copyright © 2014. All Rights Reserved.