Two Way Deterministic Pushdown Automaton Languages and Some Open Problems in the Theory of Computation
We consider some of the important unsolved problems in the theory of computation concerning the relationship between deterministic and nondeterministic computations, and between tape and time bounded computations. For each such problem we find an equivalent problem concerning two way deterministic pushdown automaton languages. This is the first time many of the open problems have been reduced to questions about one class of automata. Keywords and phrases: Two way deterministic pushdown automata, open problems, determinism versus nondeterminism, space bounded computations, time bounded computations, Turing machines, multihead pushdown automata, two way counter machines, auxiliary pushdown machines.
computer science; technical report
Previously Published As