issues
search
bbchallenge
/
bbchallenge-deciders
Here we give programs that check if Turing machines halt or not.
10
stars
3
forks
source link
issues
Newest
Newest
Most commented
Recently updated
Oldest
Least commented
Least recently updated
Cosmo bouncers reproduction
#13
tcosmo
closed
5 months ago
0
Reproducing halting segment
#12
tcosmo
closed
1 year ago
0
Finite automata reduction
#11
UncombedCoconut
closed
1 year ago
1
Decider closed states
#10
tcosmo
opened
2 years ago
0
unilateral-bouncers and halting-segment deciders
#9
Iijil1
closed
1 year ago
2
Debug backward reasoning bug found by lijil
#8
tcosmo
closed
2 years ago
3
Debuggin Shawn's bug
#7
tcosmo
closed
2 years ago
3
Factorise parallelisation code which is present in almost all deciders
#6
tcosmo
opened
2 years ago
0
Backward reasoning
#5
tcosmo
closed
2 years ago
1
Backward reasoning
#4
milomg
closed
2 years ago
1
Bikeshedding
#3
milomg
opened
2 years ago
1
expect machines to only have one undefined transition
#2
milomg
closed
2 years ago
5
Backtracking Bug
#1
milomg
closed
2 years ago
7