TM Example 1 (cont)
Set of possible states for the finite control:
S0: initial state; parity so far is 0.
Transition function: “Whenever the current tape symbol is a 1, change state, leave the symbol as it is, and move the head to the right (relative to the tape). If the current symbol is $, move right without changing state. If the current symbol is Blank, and the state is S0, write 0 and halt, but if the current state is S1, write 1 and halt.”