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