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