A residuated function in a class of Mealy type L-Valued finite automaton

Abstract

A common problem found in literature is the reduction and minimization of automata. In fuzzy finite automata those processes are more complex; it is not always possible to minimize a given fuzzy automaton, M. In this paper we define a notion of order for the set of fuzzy Mealy machines type L-Valued and we prove the existence of a residuated function which works as operator of minimization of fuzzy Mealy machines.