Automaton AutomatonProvider BasicAutomata BasicOperations Datatypes DatatypesAutomatonProvider MinimizationOperations RegExp RunAutomaton ShuffleOperations SpecialOperations State StatePair Transition