net.automatalib.util.automata.fsa
Classes
DFAs
NFAs