de.learnlib.algorithms.kv.mealy

Class KearnsVaziraniMealy<I,O>

java.lang.Object

de.learnlib.algorithms.kv.mealy.KearnsVaziraniMealy<I,O>

Type Parameters:

I - input symbol type

O - output symbol type

All Implemented Interfaces:

ResumableLearner<KearnsVaziraniMealyState<I,O>>, SupportsGrowingAlphabet<I>, LearningAlgorithm<net.automatalib.automata.transout.MealyMachine<?,I,?,O>,I,net.automatalib.words.Word<O>>, LearningAlgorithm.MealyLearner<I,O>

public class KearnsVaziraniMealy<I,O>
extends Object
implements LearningAlgorithm.MealyLearner<I,O>, SupportsGrowingAlphabet<I>, ResumableLearner<KearnsVaziraniMealyState<I,O>>

An adaption of the Kearns/Vazirani algorithm for Mealy machines.

Author:

Malte Isberner

Nested Class Summary

Nested Classes

Modifier and Type	Class and Description
protected class	KearnsVaziraniMealy.KVAbstractCounterexample

Nested classes/interfaces inherited from interface de.learnlib.api.algorithm.LearningAlgorithm

LearningAlgorithm.DFALearner<I>, LearningAlgorithm.MealyLearner<I,O>

Field Summary

Fields

Modifier and Type	Field and Description
protected AbstractWordBasedDiscriminationTree<I,net.automatalib.words.Word<O>,StateInfo<I,net.automatalib.words.Word<O>>>	discriminationTree
protected List<StateInfo<I,net.automatalib.words.Word<O>>>	stateInfos

Constructor Summary

Constructors

Constructor and Description
KearnsVaziraniMealy(net.automatalib.words.Alphabet<I> alphabet, MembershipOracle<I,net.automatalib.words.Word<O>> oracle, boolean repeatedCounterexampleEvaluation, AcexAnalyzer counterexampleAnalyzer)

Method Summary

Modifier and Type	Method and Description
void	addAlphabetSymbol(I symbol)
net.automatalib.automata.transout.MealyMachine<?,I,?,O>	getHypothesisModel()
boolean	refineHypothesis(DefaultQuery<I,net.automatalib.words.Word<O>> ceQuery)
void	resume(KearnsVaziraniMealyState<I,O> state)
void	startLearning()
KearnsVaziraniMealyState<I,O>	suspend()

Methods inherited from class java.lang.Object

clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait

Field Detail

discriminationTree

protected AbstractWordBasedDiscriminationTree<I,net.automatalib.words.Word<O>,StateInfo<I,net.automatalib.words.Word<O>>> discriminationTree

stateInfos

protected List<StateInfo<I,net.automatalib.words.Word<O>>> stateInfos

Constructor Detail

KearnsVaziraniMealy

public KearnsVaziraniMealy(net.automatalib.words.Alphabet<I> alphabet,
                           MembershipOracle<I,net.automatalib.words.Word<O>> oracle,
                           boolean repeatedCounterexampleEvaluation,
                           AcexAnalyzer counterexampleAnalyzer)

Method Detail

startLearning

public void startLearning()

Specified by:

startLearning in interface LearningAlgorithm<net.automatalib.automata.transout.MealyMachine<?,I,?,O>,I,net.automatalib.words.Word<O>>

refineHypothesis

public boolean refineHypothesis(DefaultQuery<I,net.automatalib.words.Word<O>> ceQuery)

Specified by:

refineHypothesis in interface LearningAlgorithm<net.automatalib.automata.transout.MealyMachine<?,I,?,O>,I,net.automatalib.words.Word<O>>

getHypothesisModel

public net.automatalib.automata.transout.MealyMachine<?,I,?,O> getHypothesisModel()

Specified by:

getHypothesisModel in interface LearningAlgorithm<net.automatalib.automata.transout.MealyMachine<?,I,?,O>,I,net.automatalib.words.Word<O>>

addAlphabetSymbol

public void addAlphabetSymbol(I symbol)

Specified by:

addAlphabetSymbol in interface SupportsGrowingAlphabet<I>

suspend

public KearnsVaziraniMealyState<I,O> suspend()

Specified by:

suspend in interface ResumableLearner<KearnsVaziraniMealyState<I,O>>

resume

public void resume(KearnsVaziraniMealyState<I,O> state)

Specified by:

resume in interface ResumableLearner<KearnsVaziraniMealyState<I,O>>