Lines
Structure
A line represents a transition rule in the Turing machine. Every line consists of five elements in the following order:
A state name representing the current state of the Turing machine.
A tally or blank representing the condition of the tape cell that the head is currently positioned at.
A state name representing the state the Turing machine is left in after the transition is applied.
A tally or blank representing the condition of the tape cell after the transition is applied.
A head direction representing the direction the head will move in after the transition is applied.
A general line will look like the following:
The Condition and the Instruction
The first two elements of a Varphi line are called the condition. The condition can be read as follows:
If
the Turing machine is using state [state], and
the tape cell which the head is currently situated at [contains a tally/is blank]
The remaining three elements of the line are called the instruction. They instruct the Turing machine to perform a series of actions. You can read the instruction as follows:
Make
the Turing machine use state [state]
the tape cell at the which the head is currently situated at [contain a tally/blank]
the head move to the tape cell immediately to the [left/right] of the tape cell which it is currently situated at.
Overall, you can read a Varphi line as follows:
If
the Turing machine is using state [state]
the tape cell which the head is currently situated at [contains a tally/is blank],
then make
the Turing machine use state [state]
the tape cell at the which the head is currently situated at [contain a tally/blank]
the head move to the tape cell immediately to the [left/right] of the tape cell which it is currently situated at.
Last updated
Was this helpful?