0

How can we prove that every Turing machine $TM$ can be altered to a new Turing machine $TM'$ which can perform $2$ of $3$ operations in every step, how can we define this altered Turing machine.

$TM: \delta(Q \times \Gamma) \to Q \times \Gamma \times \{L,R\}$

$TM': \delta(Q \times \Gamma) \to (Q \times \Gamma) \cup (\Gamma \times \{L,R\}) \cup (Q \times \{L,R\})$

Operations :

move head ($L$ or $R$) and change a state, or write on tape and move head, or write on tape and change a state.

mrp
  • 5,086

1 Answers1

0

HINT

For each of the original state transitions, define some additional states that the new machine has, so that whenever the original machine goes through one transition, the new machine goes through several transitions that together emulate the original transition.

Example:

Original state transition: If you are in state $1$ and see a $0$, write a $1$, move right, and go to state $2$

Replace this with two new transitions:

If you are in state $1$ and see a $0$, write a $1$ and go to state $1a$.

If you are in state $1a$ and see a $1$, move right, and go to state $2$.

If you think about it, you find that this kind of thing can always be done, and in fact you see that you don't need the second of the three operations ... you can do it just using move+change state and write+change state. In fact, using these latter two you get what is known as the 'quadruple' formulation of Turing-machines.

Bram28
  • 100,612
  • 6
  • 70
  • 118
  • As per your explanation , if my modified Turing machine is state 1 and read 0 it goes to state 1a right so is that a blank move because no direction is defined but Turing machine should moved L or R, or if 1a is a dummy state again directions should be specified first right and then left , how is this move possible? – Alex Louis Oct 26 '17 at 09:22
  • @AlexLouis The whole point of this exercise was to modify the original kind of Turing-machine into one where you cannot go to a new state and write a symbol *and move left or right; you can only do two of those things. And so yes, in the modified Turing-machine you can go to a new state and write a symbol without moving left or right. – Bram28 Oct 27 '17 at 00:43