Input-Driven Double-Head Pushdown Automata

Markus Holzer, Martin Kutrib, Andreas Malcher +1

We introduce and study input-driven deterministic and nondeterministic double-head pushdown automata. A double-head pushdown automaton is a slight generalization of an ordinary pus…