de.learnlib.algorithms.kv.dfa

Class KearnsVaziraniDFA<I>

java.lang.Object

de.learnlib.algorithms.kv.dfa.KearnsVaziraniDFA<I>

Type Parameters:

I - input symbol type

All Implemented Interfaces:

LearningAlgorithm<DFA<?,I>,I,Boolean>, LearningAlgorithm.DFALearner<I>

public class KearnsVaziraniDFA<I>
extends Object
implements LearningAlgorithm.DFALearner<I>

The Kearns/Vazirani algorithm for learning DFA, as described in the book "An Introduction to Computational Learning Theory" by Michael Kearns and Umesh Vazirani.

Author:

Malte Isberner

Nested Class Summary

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

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

Constructor Summary

Constructors

Constructor and Description
KearnsVaziraniDFA(Alphabet<I> alphabet, MembershipOracle<I,Boolean> oracle, boolean repeatedCounterexampleEvaluation, AcexAnalyzer counterexampleAnalyzer) Constructor.

Method Summary

Modifier and Type	Method and Description
DFA<?,I>	getHypothesisModel()
boolean	refineHypothesis(DefaultQuery<I,Boolean> ceQuery)
void	startLearning()

Methods inherited from class java.lang.Object

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

Constructor Detail

KearnsVaziraniDFA

public KearnsVaziraniDFA(Alphabet<I> alphabet,
                         MembershipOracle<I,Boolean> oracle,
                         boolean repeatedCounterexampleEvaluation,
                         AcexAnalyzer counterexampleAnalyzer)

Constructor.

Parameters:

alphabet - the learning alphabet

oracle - the membership oracle

Method Detail

startLearning

public void startLearning()

Specified by:

startLearning in interface LearningAlgorithm<DFA<?,I>,I,Boolean>

refineHypothesis

public boolean refineHypothesis(DefaultQuery<I,Boolean> ceQuery)

Specified by:

refineHypothesis in interface LearningAlgorithm<DFA<?,I>,I,Boolean>

getHypothesisModel

public DFA<?,I> getHypothesisModel()

Specified by:

getHypothesisModel in interface LearningAlgorithm<DFA<?,I>,I,Boolean>