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

Part of the Lecture Notes in Computer Science book series (LNCS, volume 52)
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

Personalised recommendations