turingmachine.io

add.yaml

# Adds two binary numbers.
input: '0111 1100'
blank: ' '
start state: end
table:
  # scan to the right
  end:
    [1,0]: R
    ' ' : {R: right}
  # scan to the rightmost digit
  right:
    [1,0]: R
    ' '  : {L: borrow}
  # then borrow the 1
  borrow:
    1   : {write: 0, L: left}
    0   : {write: 1, L}
    ' ' : {write: ' ', L: done}
  # scan to the left
  left:
    [1,0] : L
    ' '   : {L: carry}
  # then carry the 1
  carry:
    1   : {write: 0, L}
    0   : {write: 1, R: end}
    ' ' : {R: end}
  done: