davidtsong

name: binary increment
source code: |
  # Adds 1 to a binary number.
  input: '111101111'
  blank: '0'
  start state: right
  table:
    # scan to the rightmost digit
    right:
      0: {R: checkdone}