Module de.learnlib.algorithm.lstar

Package de.learnlib.algorithm.malerpnueli

Class MalerPnueliMoore<I,O>

java.lang.Object

de.learnlib.algorithm.lstar.AbstractLStar<A,I,D>

de.learnlib.algorithm.lstar.AbstractAutomatonLStar<A,I,D,S,T,SP,TP,AI>

de.learnlib.algorithm.lstar.AbstractExtensibleAutomatonLStar<MooreMachine<?,I,?,O>,I,Word<O>,Integer,Integer,O,Void,CompactMoore<I,O>>

de.learnlib.algorithm.lstar.moore.ExtensibleLStarMoore<I,O>

de.learnlib.algorithm.malerpnueli.MalerPnueliMoore<I,O>

Type Parameters:

I - input symbol type

O - output symbol type

All Implemented Interfaces:

AccessSequenceTransformer<I>, GlobalSuffixLearner<MooreMachine<?,I,?,O>,I,Word<O>>, LearningAlgorithm<MooreMachine<?,I,?,O>,I,Word<O>>, LearningAlgorithm.MooreLearner<I,O>, ObservationTableFeature<I,Word<O>>, OTLearner<MooreMachine<?,I,?,O>,I,Word<O>>, OTLearner.OTLearnerMoore<I,O>, LearnerStateTracker, Resumable<AutomatonLStarState<I,Word<O>,CompactMoore<I,O>,Integer>>, SupportsGrowingAlphabet<I>

public class MalerPnueliMoore<I,O>
extends ExtensibleLStarMoore<I,O>

A MooreMachine-based specialization of the L* learner which uses the counterexample analysis strategy proposed by Maler & Pnueli.

Nested Class Summary

Nested classes/interfaces inherited from class de.learnlib.algorithm.lstar.AbstractExtensibleAutomatonLStar

AbstractExtensibleAutomatonLStar.BuilderDefaults

Nested classes/interfaces inherited from class de.learnlib.algorithm.lstar.AbstractAutomatonLStar

AbstractAutomatonLStar.StateInfo<S,I>

Nested classes/interfaces inherited from interface de.learnlib.algorithm.GlobalSuffixLearner

GlobalSuffixLearner.GlobalSuffixLearnerDFA<I>, GlobalSuffixLearner.GlobalSuffixLearnerMealy<I,O>

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

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

Nested classes/interfaces inherited from interface de.learnlib.datastructure.observationtable.OTLearner

OTLearner.OTLearnerDFA<I>, OTLearner.OTLearnerMealy<I,O>, OTLearner.OTLearnerMoore<I,O>

Field Summary

Fields inherited from class de.learnlib.algorithm.lstar.AbstractExtensibleAutomatonLStar

cexHandler, closingStrategy, initialPrefixes, initialSuffixes

Fields inherited from class de.learnlib.algorithm.lstar.AbstractAutomatonLStar

internalHyp, stateInfos

Fields inherited from class de.learnlib.algorithm.lstar.AbstractLStar

alphabet, oracle, table

Constructor Summary

Constructors

Constructor	Description
MalerPnueliMoore(Alphabet<I> alphabet, MembershipOracle<I,Word<O>> oracle)
MalerPnueliMoore(Alphabet<I> alphabet, MembershipOracle<I,Word<O>> oracle, List<Word<I>> initialSuffixes, ClosingStrategy<? super I,? super Word<O>> closingStrategy)

Method Summary

Methods inherited from class de.learnlib.algorithm.lstar.moore.ExtensibleLStarMoore

getHypothesisModel, hypothesisOutput, stateProperty, transitionProperty

Methods inherited from class de.learnlib.algorithm.lstar.AbstractExtensibleAutomatonLStar

initialPrefixes, initialSuffixes, refineHypothesisInternal, selectClosingRows

Methods inherited from class de.learnlib.algorithm.lstar.AbstractAutomatonLStar

addAlphabetSymbol, createState, doRefineHypothesis, resume, setTransition, startLearning, suspend, updateInternalHypothesis

Methods inherited from class de.learnlib.algorithm.lstar.AbstractLStar

addGlobalSuffixes, analyzeInconsistency, completeConsistentTable, getGlobalSuffixes, getObservationTable, hasLearningProcessStarted, incorporateCounterExample, refineHypothesis, transformAccessSequence

Methods inherited from class java.lang.Object

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

Methods inherited from interface de.learnlib.AccessSequenceTransformer

isAccessSequence, longestASPrefix

Methods inherited from interface de.learnlib.LearnerStateTracker

requireLearningProcessNotStarted, requireLearningProcessStarted

Methods inherited from interface de.learnlib.algorithm.LearningAlgorithm

refineHypothesis, startLearning

Methods inherited from interface de.learnlib.datastructure.observationtable.ObservationTableFeature

getObservationTable

Constructor Details

MalerPnueliMoore

public MalerPnueliMoore(Alphabet<I> alphabet,
 MembershipOracle<I,Word<O>> oracle)

MalerPnueliMoore

public MalerPnueliMoore(Alphabet<I> alphabet,
 MembershipOracle<I,Word<O>> oracle,
 List<Word<I>> initialSuffixes,
 ClosingStrategy<? super I,? super Word<O>> closingStrategy)