CoSearch
Massively Collaborative Research
The Busy Beaver Challenge
bbchallenge.org
Contributions (75)
Finite Automata Reduction (FAR)
Finite Automata Reduction (FAR)
Oct 2022
ยท
Justin Blanchard
Decider
Details
Reviews
0
Children
5
Edit
Featured Links
Github
https://github.com/UncombedCoconut/bbchallenge-deciders/tree/finite-automata-reduction/decider-finite-automata-reduction
Chat about it
https://discord.com/channels/960643023006490684/1028746861395316776
Forum Link
https://discuss.bbchallenge.org/t/decider-finite-automata-reduction/123
Write-up (Section 6)
https://github.com/bbchallenge/bbchallenge-proofs/blob/build-latex-pdf/deciders/correctness-deciders.pdf
