Provides the classes necessary to represent a finite state automaton, as well as the operators that act on that class of automaton.