gilamor

name: 0S*nohalt
source code: |-
  # L= 0{0,1}*

  input: '1001' # try '1111' (15), '10100' (20), '111001' (57)
  blank: '_'

  # TM

  start state: q0

gilamor

name: 1star
source code: |
  input: '1111' # try epsilon, 1110
  blank: '_'

  # TM

  start state: q0
  table:
    q0:

gilamor

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

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

  # TM

  start state: q0

gilamor

name: 0S*
source code: |-
  # L= 0{0,1}*

  input: '1001' # try '1111' (15), '10100' (20), '111001' (57)
  blank: '_'

  # TM

  start state: q0