Defines classes which implement pushdown automata and their construction.