Minimization of states in automata theory based on finite lattice-ordered monoids ?
In this study, we consider a concept of complete L-fuzzy matrix, define complete lattice-valued finite automata (CLFAs) and study their properties. The definitions of statewise equivalence relations and automata equivalence relations of a CLFA are given, two algorithms are aimed at the minimization of states of a CLFA.
lattice-ordered monoid l-fuzzy matrix equivalence fuzzy finite automata minimization algorithm