dk.brics.automaton
Interfaces 
AutomatonProvider
Classes 
Automaton
AutomatonMatcher
BasicAutomata
BasicOperations
Datatypes
DatatypesAutomatonProvider
MinimizationOperations
RegExp
RunAutomaton
ShuffleOperations
SpecialOperations
State
StatePair
StringUnionOperations
Transition