learner
Class Learner

java.lang.Object
  learner.Learner

public class Learner
extends java.lang.Object

The Learner, an algorithm for MAT learning of a regular tree language.

Constructor Summary

Learner(Teacher teacher)
Creates a new Learern.

Method Summary

FiniteTreeAutomata	learn() The main algorithm.
void	process(Tree counterexample, boolean isMember) Extract information from a counterexample
void	processSavedCounterexamples()
void	report() Print statistic from the last session to standard out.
void	setReuseCounterexample(boolean reuseCounterexample) Decides whether to reuse the counterexamples given.
void	setSaveCounterexample(boolean saveCounterexample) Decides wheter or not to save counterexamples for later use.
void	setVerboose(boolean verboose)
FiniteTreeAutomata	synthesize() Synthesizes the observation table to an fta.

Methods inherited from class java.lang.Object

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

Constructor Detail

Learner

public Learner(Teacher teacher)

Creates a new Learern.

Parameters:

teacher - the Teacher to query

Method Detail

synthesize

public FiniteTreeAutomata synthesize()

Synthesizes the observation table to an fta.

Returns:

the resulting fta

process

public void process(Tree counterexample,
                    boolean isMember)

Extract information from a counterexample

Parameters:

counterexample - a tree which the learner until now has failed to classify correctly

setVerboose

public void setVerboose(boolean verboose)

setReuseCounterexample

public void setReuseCounterexample(boolean reuseCounterexample)

Decides whether to reuse the counterexamples given.

Parameters:

reuseCounterexample - the new value of reuseCounterexample

setSaveCounterexample

public void setSaveCounterexample(boolean saveCounterexample)

Decides wheter or not to save counterexamples for later use.

Parameters:

saveCounterexample - the new value of saveCounterexample

report

public void report()

Print statistic from the last session to standard out.

learn

public FiniteTreeAutomata learn()

The main algorithm. Uses MAT queries to gain information from the teacher.

Returns:

the unique minimal fta recognising the target language.

processSavedCounterexamples

public void processSavedCounterexamples()