CoSearch
Massively Collaborative Research
bbchallenge logo
The Busy Beaver Challenge

Write-up of Finite Automata Reduction

Apr 2023 · Justin Blanchard ,Tristan Stérin
Dependencies:
,
Featured Links
Github https://github.com/bbchallenge/bbchallenge-proofs/blob/build-latex-pdf/deciders/correctness-deciders.pdf
Chat about it https://discord.com/channels/960643023006490684/1151558585344593950
Highlighted message https://discord.com/channels/960643023006490684/1028746861395316776/1068847363860484136
Tex file https://github.com/bbchallenge/bbchallenge-proofs/blob/main/deciders/sections/decider-FAR-finite-automata-reduction.tex
Description

Note: the linked discussion about the write-up spans over several months.