Finite Automata Reduction

From BusyBeaverWiki
Jump to navigation Jump to search

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