Package | Description |
---|---|
de.learnlib.examples.dfa |
Modifier and Type | Class and Description |
---|---|
class |
ExampleAngluin
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.''
|
class |
ExampleKeylock |
class |
ExamplePaulAndMary
This class implements a sad love story - DFA style.
|
class |
ExampleRandomDFA |
Copyright © 2015. All rights reserved.