Meet-in-the-Middle Weighted Finite Automata Reduction (MITMWFAR)

From BusyBeaverWiki
Revision as of 18:34, 22 July 2025 by Sligocki (talk | contribs) (Created page with "'''Meet-in-the-Middle Weighted Finite Automata Reduction''' ('''MITMWFAR''') is a Turing machine decider. It is a variation of Finite Automata Reduction (FAR) based upon Weighted Finite Automata. This allows it to decide irregular TMs which cannot be decided by FAR or any other regular decider. See: https://github.com/Iijil1/MITMWFAR/tree/main Category:Deciders Category:Stub")
(diff) ← Older revision | Latest revision (diff) | Newer revision → (diff)
Jump to navigation Jump to search

Meet-in-the-Middle Weighted Finite Automata Reduction (MITMWFAR) is a Turing machine decider. It is a variation of Finite Automata Reduction (FAR) based upon Weighted Finite Automata. This allows it to decide irregular TMs which cannot be decided by FAR or any other regular decider.

See: https://github.com/Iijil1/MITMWFAR/tree/main

Retrieved from "https://wiki.bbchallenge.org/w/index.php?title=Meet-in-the-Middle_Weighted_Finite_Automata_Reduction_(MITMWFAR)&oldid=2561"