de.learnlib.algorithms.lstar.mealy

Class ClassicLStarMealy<I,O>

java.lang.Object

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

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

de.learnlib.algorithms.lstar.AbstractExtensibleAutomatonLStar<net.automatalib.automata.transout.MealyMachine<?,I,?,O>,I,O,Integer,net.automatalib.automata.transout.impl.compact.CompactMealyTransition<O>,Void,O,net.automatalib.automata.transout.impl.compact.CompactMealy<I,O>>

de.learnlib.algorithms.lstar.mealy.ClassicLStarMealy<I,O>

Type Parameters:

I - input symbol class

O - output symbol class

All Implemented Interfaces:

GlobalSuffixFeature<I>, GlobalSuffixLearner<net.automatalib.automata.transout.MealyMachine<?,I,?,O>,I,O>, ResumableLearner<AutomatonLStarState<I,O,net.automatalib.automata.transout.impl.compact.CompactMealy<I,O>,Integer>>, SupportsGrowingAlphabet<I>, LearningAlgorithm<net.automatalib.automata.transout.MealyMachine<?,I,?,O>,I,O>, ObservationTableFeature<I,O>, OTLearner<net.automatalib.automata.transout.MealyMachine<?,I,?,O>,I,O>

public class ClassicLStarMealy<I,O>
extends AbstractExtensibleAutomatonLStar<net.automatalib.automata.transout.MealyMachine<?,I,?,O>,I,O,Integer,net.automatalib.automata.transout.impl.compact.CompactMealyTransition<O>,Void,O,net.automatalib.automata.transout.impl.compact.CompactMealy<I,O>>

An implementation of the L*Mealy algorithm for inferring Mealy machines, as described by Oliver Niese in his Ph.D. thesis.

Author:

Malte Isberner

Nested Class Summary

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

AbstractExtensibleAutomatonLStar.BuilderDefaults

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

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

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

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

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

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

Field Summary

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

cexHandler, closingStrategy, initialPrefixes, initialSuffixes

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

internalHyp, stateInfos

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

alphabet, oracle, table

Constructor Summary

Constructors

Constructor and Description
ClassicLStarMealy(net.automatalib.words.Alphabet<I> alphabet, MembershipOracle<I,O> oracle, List<net.automatalib.words.Word<I>> initialPrefixes, List<net.automatalib.words.Word<I>> initialSuffixes, ObservationTableCEXHandler<? super I,? super O> cexHandler, ClosingStrategy<? super I,? super O> closingStrategy)
ClassicLStarMealy(net.automatalib.words.Alphabet<I> alphabet, MembershipOracle<I,O> oracle, ObservationTableCEXHandler<? super I,? super O> cexHandler, ClosingStrategy<? super I,? super O> closingStrategy) Constructor.

Method Summary

Modifier and Type	Method and Description
static <A extends net.automatalib.automata.transout.MutableMealyMachine<?,I,?,O>,I,O> ClassicLStarMealy<I,O>	createForSymbolOracle(net.automatalib.words.Alphabet<I> alphabet, MembershipOracle<I,O> oracle, ObservationTableCEXHandler<I,O> cexHandler, ClosingStrategy<? super I,? super O> closingStrategy)
static <A extends net.automatalib.automata.transout.MutableMealyMachine<?,I,?,O>,I,O> ClassicLStarMealy<I,O>	createForWordOracle(net.automatalib.words.Alphabet<I> alphabet, MembershipOracle<I,net.automatalib.words.Word<O>> oracle, ObservationTableCEXHandler<? super I,? super O> cexHandler, ClosingStrategy<? super I,? super O> closingStrategy)
protected net.automatalib.automata.transout.MealyMachine<?,I,?,O>	exposeInternalHypothesis()
protected net.automatalib.automata.concepts.SuffixOutput<I,O>	hypothesisOutput()
protected List<net.automatalib.words.Word<I>>	initialSuffixes() Returns the list of initial suffixes which are used to initialize the table.
protected Void	stateProperty(ObservationTable<I,O> table, Row<I> stateRow) Derives a state property from the corresponding row.
protected O	transitionProperty(ObservationTable<I,O> table, Row<I> stateRow, int inputIdx) Derives a transition property from the corresponding transition.

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

initialPrefixes, refineHypothesisInternal, selectClosingRows

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

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

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

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

Methods inherited from class java.lang.Object

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

Constructor Detail

ClassicLStarMealy

public ClassicLStarMealy(net.automatalib.words.Alphabet<I> alphabet,
                         MembershipOracle<I,O> oracle,
                         ObservationTableCEXHandler<? super I,? super O> cexHandler,
                         ClosingStrategy<? super I,? super O> closingStrategy)

Constructor.

Parameters:

alphabet - the learning alphabet

oracle - the (Mealy) oracle

ClassicLStarMealy

public ClassicLStarMealy(net.automatalib.words.Alphabet<I> alphabet,
                         MembershipOracle<I,O> oracle,
                         List<net.automatalib.words.Word<I>> initialPrefixes,
                         List<net.automatalib.words.Word<I>> initialSuffixes,
                         ObservationTableCEXHandler<? super I,? super O> cexHandler,
                         ClosingStrategy<? super I,? super O> closingStrategy)

Method Detail

createForSymbolOracle

public static <A extends net.automatalib.automata.transout.MutableMealyMachine<?,I,?,O>,I,O> ClassicLStarMealy<I,O> createForSymbolOracle(net.automatalib.words.Alphabet<I> alphabet,
                                                                                                                                          MembershipOracle<I,O> oracle,
                                                                                                                                          ObservationTableCEXHandler<I,O> cexHandler,
                                                                                                                                          ClosingStrategy<? super I,? super O> closingStrategy)

createForWordOracle

public static <A extends net.automatalib.automata.transout.MutableMealyMachine<?,I,?,O>,I,O> ClassicLStarMealy<I,O> createForWordOracle(net.automatalib.words.Alphabet<I> alphabet,
                                                                                                                                        MembershipOracle<I,net.automatalib.words.Word<O>> oracle,
                                                                                                                                        ObservationTableCEXHandler<? super I,? super O> cexHandler,
                                                                                                                                        ClosingStrategy<? super I,? super O> closingStrategy)

initialSuffixes

protected List<net.automatalib.words.Word<I>> initialSuffixes()

Description copied from class: AbstractLStar

Returns the list of initial suffixes which are used to initialize the table.

Overrides:

initialSuffixes in class AbstractExtensibleAutomatonLStar<net.automatalib.automata.transout.MealyMachine<?,I,?,O>,I,O,Integer,net.automatalib.automata.transout.impl.compact.CompactMealyTransition<O>,Void,O,net.automatalib.automata.transout.impl.compact.CompactMealy<I,O>>

Returns:

the list of initial suffixes.

exposeInternalHypothesis

protected net.automatalib.automata.transout.MealyMachine<?,I,?,O> exposeInternalHypothesis()

Specified by:

exposeInternalHypothesis in class AbstractAutomatonLStar<net.automatalib.automata.transout.MealyMachine<?,I,?,O>,I,O,Integer,net.automatalib.automata.transout.impl.compact.CompactMealyTransition<O>,Void,O,net.automatalib.automata.transout.impl.compact.CompactMealy<I,O>>

stateProperty

protected Void stateProperty(ObservationTable<I,O> table,
                             Row<I> stateRow)

Description copied from class: AbstractAutomatonLStar

Derives a state property from the corresponding row.

Specified by:

stateProperty in class AbstractAutomatonLStar<net.automatalib.automata.transout.MealyMachine<?,I,?,O>,I,O,Integer,net.automatalib.automata.transout.impl.compact.CompactMealyTransition<O>,Void,O,net.automatalib.automata.transout.impl.compact.CompactMealy<I,O>>

Parameters:

table - the current observation table

stateRow - the row for which the state is created

Returns:

the state property of the corresponding state

transitionProperty

protected O transitionProperty(ObservationTable<I,O> table,
                               Row<I> stateRow,
                               int inputIdx)

Description copied from class: AbstractAutomatonLStar

Derives a transition property from the corresponding transition.

N.B.: Not the transition row is passed to this method, but the row for the outgoing state. The transition row can be retrieved using Row.getSuccessor(int).

Specified by:

transitionProperty in class AbstractAutomatonLStar<net.automatalib.automata.transout.MealyMachine<?,I,?,O>,I,O,Integer,net.automatalib.automata.transout.impl.compact.CompactMealyTransition<O>,Void,O,net.automatalib.automata.transout.impl.compact.CompactMealy<I,O>>

stateRow - the row for the source state

inputIdx - the index of the input symbol to consider

Returns:

the transition property of the corresponding transition

hypothesisOutput

protected net.automatalib.automata.concepts.SuffixOutput<I,O> hypothesisOutput()

Specified by:

hypothesisOutput in class AbstractLStar<net.automatalib.automata.transout.MealyMachine<?,I,?,O>,I,O>