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)
Cite this paper as:
Savitch W.J., Vitányi P.M.B. (1977) Linear time simulation of multihead turing machines with head — To-head jumps. In: Salomaa A., Steinby M. (eds) Automata, Languages and Programming. ICALP 1977. Lecture Notes in Computer Science, vol 52. Springer, Berlin, Heidelberg

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