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