Finite Automata Reduction (FAR)

From BusyBeaverWiki
Revision as of 22:35, 10 August 2025 by Polygon (talk | contribs)
(diff) ← Older revision | Latest revision (diff) | Newer revision → (diff)
Jump to navigation Jump to search

See Section 6 of bbchallenge's deciders write-up.