Every step cuts the number of ones in half.


Solution steps:
  1. Cut the unary number in half (state "half").
  2. Check if the number of ones was even or odd (state "test").
  3. Add a zero or a one to the front of the binary number (blue states)
  4. Erase the blank fields within the unary number (green states)
  5. Check if the unary number has ones left. If yes start again (yellow states)