evenZeros.yml

name: even0s
source code: |-
  # L= (00)*

  input: '000000' # try epsilon
  blank: '_'

  # TM

  start state: q0
  table:
    q0:
      '_': {write: '_', R: accept}
      '0': {write: '0', R: q1}
      '1': {write: '1', R: reject}
    q1:
      '_': {write: '_', R: reject}
      '0': {write: '0', R: q0}
      '1': {write: '1', R: reject}
    
    accept:
    reject:
positions:
  q0: {x: 271.66, y: 194.49}
  q1: {x: 574.16, y: 190.01}
  accept: {x: 272.14, y: 82.77}
  reject: {x: 420.96, y: 319.09}