TM_sort.yaml

# Sorts 0s and 1s in a sequence.
#to be used at turingmachine.io

input: '0010110100001'
blank: ' '
start state: valid0
table:
  # Valid string ending in zero
  valid0:
    0 : R
    1 : {R: valid1}
    ' ' : {R: done}
  valid1:
    1: {R}
    0 : {write: 1, L: carryback}
    ' ': {L: done}
  carryback:
    1: {L}
    [0,' '] : {R: placezero}
  placezero:
    [0, 1] : {write: 0, R: valid0}
  done: