Finite Automata Reduction (FAR)

From BusyBeaverWiki

Jump to navigation Jump to search

This article is a stub. You can help the BusyBeaverWiki by expanding it.

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

Retrieved from "https://wiki.bbchallenge.org/w/index.php?title=Finite_Automata_Reduction_(FAR)&oldid=2968"