Word problems requiring exponential time(Preliminary Report)
STOC '73 Proceedings of the fifth annual ACM symposium on Theory of computing
Formal languages and their relation to automata
Formal languages and their relation to automata
IBM Journal of Research and Development
Journal of Computer and System Sciences
Relationships between nondeterministic and deterministic tape complexities
Journal of Computer and System Sciences
Towards Regular Languages over Infinite Alphabets
MFCS '01 Proceedings of the 26th International Symposium on Mathematical Foundations of Computer Science
Space-bounded reducibility among combinatorial problems
Journal of Computer and System Sciences
Complexity of multi-head finite automata: Origins and directions
Theoretical Computer Science
On multi-head automata with restricted nondeterminism
Information Processing Letters
COMPLEXITY AND STRUCTURE IN FORMAL LANGUAGE THEORY
Fundamenta Informaticae
Hi-index | 0.00 |
The principal result described in this paper is the equivalence of the following statements:o(1)Every set accepted by a nondeterministic one-way two-head finite automaton can be accepted by a deterministic two-way k-head finite automaton, for some k. (2)The context-free language L"p (described in the paper) is recognized by a deterministic (log n)-tape bounded Turing machine. (3)Every set accepted by a nondeterministic (off-line) L(n)-tape bounded Turing machine is accepted by a deterministic (off-line) L(n)-tape bounded Turing machine, provided L(n)=log n. The language L"p is accepted, in fact, by a nondeterministic pushdown automaton using a single pushdown store symbol (a nondeterministic one-counter automaton) and by a nondeterministic on-line (log n)-tape bounded Turing machine.