International Colloquium on Automata, Languages, and Programming

ICALP 1977: Automata, Languages and Programming pp 453-464

Linear time simulation of multihead turing machines with head — To-head jumps

  • Walter J. Savitch
  • Paul M. B. Vitányi
Conference paper

DOI: 10.1007/3-540-08342-1_35

Volume 52 of the book series Lecture Notes in Computer Science (LNCS)

Abstract

The main result of this paper shows that, given a Turing machine with several read-write heads per tape and which has the additional one move shift operation "shift a given head to the position of some other given head", one can effectively construct a multitape Turing machine with a single read-write head per tape which simulates it in linear time; i.e. if the original machine operates in time T(n), then the simulating machine will operate in time cT(n), for some constant c.

Download to read the full conference paper text

Copyright information

© Springer-Verlag 1977

Authors and Affiliations

  • Walter J. Savitch
    • 1
  • Paul M. B. Vitányi
    • 1
  1. 1.Mathematisch CentrumAmsterdamThe Netherlands