Describir: State Minimization of General Finite Fuzzy Automata