Package de.learnlib.algorithm.ostia

Class OSTIA<I,O>

java.lang.Object

de.learnlib.algorithm.ostia.OSTIA<I,O>

Type Parameters:

I - input symbol type

O - output symbol type

All Implemented Interfaces:

PassiveLearningAlgorithm<SubsequentialTransducer<?,I,?,O>,I,Word<O>>

public class OSTIA<I,O>
extends Object
implements PassiveLearningAlgorithm<SubsequentialTransducer<?,I,?,O>,I,Word<O>>

The OSTIA learning algorithm.

Nested Class Summary

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

PassiveLearningAlgorithm.PassiveAcceptorLearner<M extends FiniteStateAcceptor<?,I>,I extends Object>, PassiveLearningAlgorithm.PassiveDFALearner<I extends Object>, PassiveLearningAlgorithm.PassiveMealyLearner<I extends Object,O extends Object>, PassiveLearningAlgorithm.PassiveMooreLearner<I extends Object,O extends Object>

Constructor Summary

Constructors

Constructor	Description
OSTIA(Alphabet<I> inputAlphabet)

Method Summary

Modifier and Type	Method	Description
void	addSamples(Collection<? extends DefaultQuery<I,Word<O>>> samples)
static State	buildPtt(int alphabetSize, Iterator<Pair<IntSeq,IntSeq>> informant)
SubsequentialTransducer<?,I,?,O>	computeModel()
static void	ostia(State transducer)
static @Nullable IntSeq	run(State init, IntSeq input)

Methods inherited from class java.lang.Object

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

Methods inherited from interface de.learnlib.algorithm.PassiveLearningAlgorithm

addSample, addSample, addSamples, addSamples, addSamples

Constructor Detail

OSTIA

public OSTIA(Alphabet<I> inputAlphabet)

Method Detail

addSamples

public void addSamples(Collection<? extends DefaultQuery<I,Word<O>>> samples)

Specified by:

addSamples in interface PassiveLearningAlgorithm<SubsequentialTransducer<?,I,?,O>,I,Word<O>>

computeModel

public SubsequentialTransducer<?,I,?,O> computeModel()

Specified by:

computeModel in interface PassiveLearningAlgorithm<SubsequentialTransducer<?,I,?,O>,I,Word<O>>

buildPtt

public static State buildPtt(int alphabetSize,
                             Iterator<Pair<IntSeq,IntSeq>> informant)

ostia

public static void ostia(State transducer)

run

public static @Nullable IntSeq run(State init,
                                   IntSeq input)