FiniteAutomata A collection of extendable finite automata with immutable state and transition data. (Includes a deterministic finite automaton, a nondeterministic finite automaton, and a nondeterministic finite automaton with epsilon moves.)