de.learnlib.examples.dfa

Class ExampleAngluin

java.lang.Object

de.learnlib.examples.dfa.ExampleAngluin

public class ExampleAngluin
extends Object

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.''

Author:

Oliver Bauer

Constructor Summary

Constructors

Constructor and Description
ExampleAngluin()

Method Summary

Methods

Modifier and Type	Method and Description
static CompactDFA<Integer>	constructMachine()
static <A extends MutableDFA<S,? super Integer>,S> A	constructMachine(A machine)
static Alphabet<Integer>	getInputAlphabet()
static DFA<?,Integer>	getInstance()

Methods inherited from class java.lang.Object

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

Constructor Detail

ExampleAngluin

public ExampleAngluin()

Method Detail

getInputAlphabet

public static Alphabet<Integer> getInputAlphabet()

getInstance

public static DFA<?,Integer> getInstance()

constructMachine

public static <A extends MutableDFA<S,? super Integer>,S> A constructMachine(A machine)

constructMachine

public static CompactDFA<Integer> constructMachine()