Category:Push-down automata

Languages that have the properties of a push-down automaton. Languages and implementations should not be confused here.