Cornell University
Library
Cornell UniversityLibrary

eCommons

Help
Log In(current)
  1. Home
  2. Cornell Computing and Information Science
  3. Computer Science
  4. Computer Science Technical Reports
  5. Two Way Deterministic Pushdown Automaton Languages and Some Open Problems in the Theory of Computation

Two Way Deterministic Pushdown Automaton Languages and Some Open Problems in the Theory of Computation

File(s)
74-204.ps (507.61 KB)
74-204.pdf (1.7 MB)
Permanent Link(s)
https://hdl.handle.net/1813/6044
Collections
Computer Science Technical Reports
Author
Galil, Zvi
Abstract

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.

Date Issued
1974-04
Publisher
Cornell University
Keywords
computer science
•
technical report
Previously Published as
http://techreports.library.cornell.edu:8081/Dienst/UI/1.0/Display/cul.cs/TR74-204
Type
technical report

Site Statistics | Help

About eCommons | Policies | Terms of use | Contact Us

copyright © 2002-2026 Cornell University Library | Privacy | Web Accessibility Assistance