Finite Automata Reduction

From BusyBeaverWiki

Revision as of 12:17, 30 August 2025 by Polygon (talk | contribs) (Added a short introduction)

(diff) ← Older revision | Latest revision (diff) | Newer revision → (diff)

Jump to navigation Jump to search

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

Finite Automata Reduction (short FAR) is a decider.

See also

Section 6 of bbchallenge's deciders write-up.

Retrieved from "https://wiki.bbchallenge.org/w/index.php?title=Finite_Automata_Reduction&oldid=3526"