Finite Automata Reduction

From BusyBeaverWiki
Revision as of 12:32, 30 August 2025 by Polygon (talk | contribs) (Began adding a history section)
Jump to navigation Jump to search

Finite Automata Reduction (short FAR) is a decider.

History

  • In October 2022, Finite Automata Reduction is first introduced by Justin Blanchard,[1] later in October, Konrad Deka developed an SAT-based FAR implementation.[2]

See also

Section 6 of bbchallenge's deciders write-up.

References

  1. ↑ https://github.com/UncombedCoconut/bbchallenge-deciders/tree/finite-automata-reduction/decider-finite-automata-reduction
  2. ↑ https://github.com/colette-b/bbchallenge
Retrieved from "https://wiki.bbchallenge.org/w/index.php?title=Finite_Automata_Reduction&oldid=3529"