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.)