Equivalence, reduction and minimization of finite fuzzy-automata