de.learnlib.examples
de.learnlib.examples.dfa
de.learnlib.examples.mealy
