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

turing-multiply-by-two.yaml

# You can run this turing machine in https://turingmachine.io/
name: multiply by two
source code: |-
  # Multiply by two
  # Demo for this talk: https://querateam.github.io/talks/presentations/Theory-of-Computation-1/
  input: '1111'
  blank: 0
  start state: s1
  table:
    s1:
      1: {L: s2}
    s2:
      [0, 1]: {L: s3}
    s3:
      0: {write: 1, L: s4}
    s4:
      0: {write: 1, R: s5}
    s5:
      1: R
      0: {R: s6}
    s6:
      1: R
      0: {L: s7}
    s7:
      1: {write: 0, L: s8}
    s8:
      1: {L: s9}
      0: {L: s11}
    s9:
      0: {L: s10}
      1: L
    s10:
      0: {R: s2}
      1: L
    s11:
      1: L
      0: {R: done}
    done:
positions:
  s1: {x: 47.3, y: 89.37}
  s2: {x: 126.79, y: 147.48}
  s3: {x: 212.21, y: 207.24}
  s4: {x: 299.97, y: 254.89}
  s5: {x: 389.11, y: 316.59}
  s6: {x: 470.14, y: 367.25}
  s7: {x: 556.93, y: 429.29}
  s8: {x: 642.55, y: 480}
  s9: {x: 704.81, y: 360.34}
  s10: {x: 675.23, y: 233.8}
  s11: {x: 403.94, y: 465.51}
  done: {x: 240.88, y: 449.99}