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

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