Finite Automata Reduction (FAR)

From BusyBeaverWiki
(Redirected from FAR)
Jump to navigation Jump to search

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