Tape bounds for time-bounded turing machines

  • Authors:
  • Michael S. Paterson

  • Affiliations:
  • -

  • Venue:
  • Journal of Computer and System Sciences
  • Year:
  • 1972

Quantified Score

Hi-index 0.00

Visualization

Abstract

Let L be a language recognized by a nondeterministic (single-tape) Turing machine of time complexity T(n)=n^2. Then L is also recognized by a deterministic (single-tape) Turing machine of tape complexity T^1^/^2(n).