prayansh

name: StringDoubler
source code: |
  # Adds 1 to a binary number.
  input: 'ABBA00000000000000'
  blank: ' '
  start state: q0
  table:
    # scan to the rightmost digit
    q0:
      A : {write: 0, R: q1}