[2309.02750] Approximate State Reduction of Fuzzy Finite Automata