Finite Automata Reduction: Difference between revisions

From BusyBeaverWiki
Jump to navigation Jump to search
No edit summary
m (Int-y1 moved page Finite Automata Reduction (FAR) to Finite Automata Reduction: remove acronym)
 

Latest revision as of 08:34, 25 August 2025

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