We show that, for multi-tape Turing machines, non-deterministic linear time is more deterministic Turing machines (that receive their input on their work tape) require time Q(n2) to powerful than deterministic linear time. We also recognize non-palindromes of length n (it is easy to discuss the prospects for extending this result to see that time O(n log n) is. sufficient for a more general Turing machines. non-deterministic machine). 1. Introductio
We develop a simple method which enables us to prove three new lower bounds (for both worst and ave...
It is shown that every deterministic multitape Turing machine of time complexity t(n)/log t(n). Con...
We investigate the relationship between the classes of languages accepted by deterministic and nonde...
AbstractIn 1985, Dymond and Tompa showed that every deterministic Turing machine with linear tapes a...
Let L be a language recognized by a nondeterministic (single-tape) Turing machine of time complexity...
The amount of storage needed to simulate a nondeterministic tape bounded Turingmachine on a determin...
Deterministic k-tape and multitape Turing machines with one-way, two-way and without a separated inp...
AbstractDeterministic k-tape and multitape Turing machines with one-way, two-way and without a separ...
AbstractFor classes of languages accepted in polynomial time by multicounter machines, various trade...
We investigate the relationship between the time and the reversal complexity measure for determinist...
AbstractThe standard simulation of a nondeterministic Turing machine (NTM) by a deterministic one es...
The diagonalization technique was invented by Georg Cantor to show that there are more real numbers ...
We show new tradeoffs for satisfiability and nondeterministic linear time. Satisfiability cannot be ...
AbstractWe shall show that, for each nondeterministic single-tape Turing machine M of time complexit...
The following lower bounds for on-line computation are proved: (1) Simulating two-tape nondeterminis...
We develop a simple method which enables us to prove three new lower bounds (for both worst and ave...
It is shown that every deterministic multitape Turing machine of time complexity t(n)/log t(n). Con...
We investigate the relationship between the classes of languages accepted by deterministic and nonde...
AbstractIn 1985, Dymond and Tompa showed that every deterministic Turing machine with linear tapes a...
Let L be a language recognized by a nondeterministic (single-tape) Turing machine of time complexity...
The amount of storage needed to simulate a nondeterministic tape bounded Turingmachine on a determin...
Deterministic k-tape and multitape Turing machines with one-way, two-way and without a separated inp...
AbstractDeterministic k-tape and multitape Turing machines with one-way, two-way and without a separ...
AbstractFor classes of languages accepted in polynomial time by multicounter machines, various trade...
We investigate the relationship between the time and the reversal complexity measure for determinist...
AbstractThe standard simulation of a nondeterministic Turing machine (NTM) by a deterministic one es...
The diagonalization technique was invented by Georg Cantor to show that there are more real numbers ...
We show new tradeoffs for satisfiability and nondeterministic linear time. Satisfiability cannot be ...
AbstractWe shall show that, for each nondeterministic single-tape Turing machine M of time complexit...
The following lower bounds for on-line computation are proved: (1) Simulating two-tape nondeterminis...
We develop a simple method which enables us to prove three new lower bounds (for both worst and ave...
It is shown that every deterministic multitape Turing machine of time complexity t(n)/log t(n). Con...
We investigate the relationship between the classes of languages accepted by deterministic and nonde...