In each state the current letter is read from the tape and the instruction to be executed is identified. The output is written back to the tape, the cursor is moved in the direction and the next state is executed.
Empty fields on the tape are represented with an '_'.
The program is finished when the final state is reached.