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