Module de.learnlib.testsupport.example

Package de.learnlib.testsupport.example.dfa

Class ExampleAngluin

java.lang.Object

de.learnlib.testsupport.example.DefaultLearningExample<I,Boolean,net.automatalib.automaton.fsa.DFA<?,I>>

de.learnlib.testsupport.example.DefaultLearningExample.DefaultDFALearningExample<Integer>

de.learnlib.testsupport.example.dfa.ExampleAngluin

All Implemented Interfaces:

LearningExample<Integer,net.automatalib.automaton.fsa.DFA<?,Integer>>, LearningExample.DFALearningExample<Integer>, LearningExample.UniversalDeterministicLearningExample<Integer,net.automatalib.automaton.fsa.DFA<?,Integer>>

public class ExampleAngluin
extends DefaultLearningExample.DefaultDFALearningExample<Integer>

This class provides the example used in the paper ''Learning Regular Sets from Queries and Counterexamples'' by Dana Angluin that consists of an automaton that accepts ''all strings over {0,1} with an even number of 0's and an even number of 1's''.

Nested Class Summary

Nested classes/interfaces inherited from class de.learnlib.testsupport.example.DefaultLearningExample

DefaultLearningExample.DefaultDFALearningExample<I>, DefaultLearningExample.DefaultMealyLearningExample<I,D>, DefaultLearningExample.DefaultMooreLearningExample<I,D>, DefaultLearningExample.DefaultOneSEVPALearningExample<I>, DefaultLearningExample.DefaultSBALearningExample<I>, DefaultLearningExample.DefaultSPALearningExample<I>, DefaultLearningExample.DefaultSPMMLearningExample<I,O>, DefaultLearningExample.DefaultSSTLearningExample<I,D>

Nested classes/interfaces inherited from interface de.learnlib.testsupport.example.LearningExample

LearningExample.DFALearningExample<I>, LearningExample.MealyLearningExample<I,O>, LearningExample.MooreLearningExample<I,O>, LearningExample.OneSEVPALearningExample<I>, LearningExample.SBALearningExample<I>, LearningExample.SPALearningExample<I>, LearningExample.SPMMLearningExample<I,O>, LearningExample.SSTLearningExample<I,O>, LearningExample.StateLocalInputMealyLearningExample<I,O>, LearningExample.UniversalDeterministicLearningExample<I,A extends net.automatalib.automaton.UniversalAutomaton<?,I,?,?,?>>

Constructor Summary

Constructors

Constructor	Description
ExampleAngluin()

Method Summary

Modifier and Type	Method	Description
static net.automatalib.automaton.fsa.impl.CompactDFA<Integer>	constructMachine()
static <A extends net.automatalib.automaton.fsa.MutableDFA<S,? super Integer>,S> A	constructMachine(A machine)
static ExampleAngluin	createExample()
static net.automatalib.alphabet.Alphabet<Integer>	createInputAlphabet()

Methods inherited from class de.learnlib.testsupport.example.DefaultLearningExample

getAlphabet, getReferenceAutomaton

Methods inherited from class java.lang.Object

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

Methods inherited from interface de.learnlib.testsupport.example.LearningExample

getAlphabet, getReferenceAutomaton

Constructor Detail

ExampleAngluin

public ExampleAngluin()

Method Detail

constructMachine

public static net.automatalib.automaton.fsa.impl.CompactDFA<Integer> constructMachine()

constructMachine

public static <A extends net.automatalib.automaton.fsa.MutableDFA<S,? super Integer>,S> A constructMachine(A machine)

createInputAlphabet

public static net.automatalib.alphabet.Alphabet<Integer> createInputAlphabet()

createExample

public static ExampleAngluin createExample()