states: A, B.
colors: _, 0, 1.
(_ represents a blank cell)

_A => 1B left
0A => 1B left
1A => 0A left
0B => 0B left
_B => _B right (Halt)
1B => 1B left