Demo for this talk: https://querateam.github.io/talks/presentations/Theory-of-Computation-1/

turing-sum-of-two-positive-integers.yaml

# You can run this turing machine in https://turingmachine.io/
name: sum of two positive integers
source code: |+
  # Sum of two positive integers
  # Demo for this talk: https://querateam.github.io/talks/presentations/Theory-of-Computation-1/
  input: '111110111'
  blank: 0
  start state: s1
  table:
    s1:
      1: {write: 0, R: s2}
    s2:
      1: R
      0: {write: 1, L: s3}
    s3:
      1: L
      0: {R: done}
    done:

positions:
  s1: {x: 86.63, y: 435}
  s2: {x: 262.35, y: 429.98}
  s3: {x: 478.16, y: 433.86}
  done: {x: 649.64, y: 429.29}