search

bbchallenge / bbchallenge-deciders

Here we give programs that check if Turing machines halt or not.
10 stars 3 forks source link

Finite automata reduction #11

Closed UncombedCoconut closed 1 year ago

UncombedCoconut commented 1 year ago

New decider, write-up to appear on the forum.

UncombedCoconut commented 1 year ago

Merging now, after discussion with Cosmo.