Skip to content

Instantly share code, notes, and snippets.

View 0sigmastar_nohalt.yml
name: 0S*nohalt
source code: |-
# L= 0{0,1}*
input: '1001' # try '1111' (15), '10100' (20), '111001' (57)
blank: '_'
# TM
start state: q0
View onestar.yml
name: 1star
source code: |
input: '1111' # try epsilon, 1110
blank: '_'
# TM
start state: q0
table:
q0:
View evenZeros.yml
name: even0s
source code: |-
# L= (00)*
input: '000000' # try epsilon
blank: '_'
# TM
start state: q0
@gilamor
gilamor / 0sigmastar.yml
Last active Sep 16, 2020
determines 0S^*
View 0sigmastar.yml
name: 0S*
source code: |-
# L= 0{0,1}*
input: '1001' # try '1111' (15), '10100' (20), '111001' (57)
blank: '_'
# TM
start state: q0
You can’t perform that action at this time.