Module de.learnlib.algorithm.lambda

Package de.learnlib.algorithm.lambda.lstar

Class LLambdaDFA<I>

java.lang.Object

de.learnlib.algorithm.lambda.lstar.LLambdaDFA<I>

All Implemented Interfaces:

AccessSequenceTransformer<I>, LearningAlgorithm<DFA<?,I>,I,Boolean>, LearningAlgorithm.DFALearner<I>, ObservationTableFeature<I,Boolean>, OTLearner<DFA<?,I>,I,Boolean>, OTLearner.OTLearnerDFA<I>, LearnerStateTracker, Resumable<LLambdaState<I,Boolean>>, SupportsGrowingAlphabet<I>, FiniteRepresentation

public class LLambdaDFA<I>
extends Object
implements OTLearner.OTLearnerDFA<I>

Nested Class Summary

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>

Constructor Summary

Constructors

Constructor	Description
LLambdaDFA(Alphabet<I> sigma, MembershipOracle<I,Boolean> mqo)
LLambdaDFA(Alphabet<I> sigma, MembershipOracle<I,Boolean> mqs, MembershipOracle<I,Boolean> ceqs)

Method Summary

Modifier and Type	Method	Description
void	addAlphabetSymbol(I symbol)
DFA<?,I>	getHypothesisModel()	Returns the current hypothesis model.
ObservationTable<I,Boolean>	getObservationTable()
protected List<Word<I>>	getShortPrefixes(List<Boolean> rowData)
boolean	hasLearningProcessStarted()	Returns whether the learning process has started yet.
boolean	refineHypothesis(DefaultQuery<I,Boolean> counterexample)	Triggers a refinement of the model by providing a counterexample.
void	resume(LLambdaState<I,Boolean> state)	Resume the data structure from a previously suspended point in time.
protected List<Boolean>	rowForState(Word<I> input)
int	size()
void	startLearning()	Starts the model inference process, creating an initial hypothesis in the provided model object.
LLambdaState<I,Boolean>	suspend()	Expose the state object.
Word<I>	transformAccessSequence(Word<I> word)

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

LLambdaDFA

public LLambdaDFA(Alphabet<I> sigma,
 MembershipOracle<I,Boolean> mqo)

LLambdaDFA

public LLambdaDFA(Alphabet<I> sigma,
 MembershipOracle<I,Boolean> mqs,
 MembershipOracle<I,Boolean> ceqs)

Method Details

size

public int size()

Specified by:

size in interface FiniteRepresentation

rowForState

protected List<Boolean> rowForState(Word<I> input)

getHypothesisModel

public DFA<?,I> getHypothesisModel()

Description copied from interface: LearningAlgorithm

Returns the current hypothesis model.

N.B.: By the contract of this interface, the model returned by this method should not be modified by external code (i.e., M generally should refer to an immutable interface), and its validity is retained only until the next invocation of LearningAlgorithm.refineHypothesis(DefaultQuery). If older hypotheses have to be maintained, a copy of the returned model must be made.

Specified by:

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

Returns:

the current hypothesis model.

transformAccessSequence

public Word<I> transformAccessSequence(Word<I> word)

Specified by:

transformAccessSequence in interface AccessSequenceTransformer<I>

addAlphabetSymbol

public void addAlphabetSymbol(I symbol)

Specified by:

addAlphabetSymbol in interface SupportsGrowingAlphabet<I>

startLearning

public void startLearning()

Description copied from interface: LearningAlgorithm

Starts the model inference process, creating an initial hypothesis in the provided model object.

Specified by:

startLearning in interface LearningAlgorithm<M extends SuffixOutput<I,D>,I,D>

refineHypothesis

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

Description copied from interface: LearningAlgorithm

Triggers a refinement of the model by providing a counterexample. A counterexample is a query which exposes different behavior of the real SUL compared to the hypothesis.

Specified by:

refineHypothesis in interface LearningAlgorithm<M extends SuffixOutput<I,D>,I,D>

Parameters:

counterexample - the query which exposes diverging behavior, as posed to the real SUL (i.e. with the SULs output).

Returns:

true if the counterexample triggered a refinement of the hypothesis, false otherwise (i.e., it was no counterexample).

hasLearningProcessStarted

public boolean hasLearningProcessStarted()

Description copied from interface: LearnerStateTracker

Returns whether the learning process has started yet.

Specified by:

hasLearningProcessStarted in interface LearnerStateTracker

Returns:

true if the learning process has started, false otherwise

getShortPrefixes

protected List<Word<I>> getShortPrefixes(List<Boolean> rowData)

getObservationTable

public ObservationTable<I,Boolean> getObservationTable()

Specified by:

getObservationTable in interface ObservationTableFeature<M extends SuffixOutput<I,D>,I>

suspend

public LLambdaState<I,Boolean> suspend()

Description copied from interface: Resumable

Expose the state object.

Specified by:

suspend in interface Resumable<M extends SuffixOutput<I,D>>

Returns:

The state.

resume

public void resume(LLambdaState<I,Boolean> state)

Description copied from interface: Resumable

Resume the data structure from a previously suspended point in time.

Specified by:

resume in interface Resumable<M extends SuffixOutput<I,D>>

Parameters:

state - The learner state.