[Decider] Finite Automata Reduction

The method has passed our [Debate & Vote] Deciders’ validation process, see the official release announcement !! Congrats to @UncombedCoconut, thanks to FAR (applied up to direct-6) we are only left with 32,632 machines to decide.