Finite Automata Reduction

From BusyBeaverWiki
Revision as of 08:34, 25 August 2025 by Int-y1 (talk | contribs) (Int-y1 moved page Finite Automata Reduction (FAR) to Finite Automata Reduction: remove acronym)
(diff) ← Older revision | Latest revision (diff) | Newer revision → (diff)
Jump to navigation Jump to search

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