Kronecker Products of Lattice-valued Finite Automata

In order to solve the structure problem of product automata, the matrix theory is used in this paper. By introducing Kronecker product, product structure of automata can be translated into matrix product Applying lattice-fuzzy matrix theory, the concepts of lattice-fuzzy transition matrixes, lattice-valued transformation matrix semigroups, as well as coverings for lattice-valued finite automata are introduced. The equivalence relation is defined in the set of input symbols. For each lattice-valued finite state automaton, we have showed that there exists a lattice-valued transformation matrix semigroup associated with it The definitions of products of lattice-valued fuzzy finite state machines are given by application of Kronecker product. Furthermore, the properties of lattice-fuzzy transition matrix for three kinds Kronecker products of lattice-valued fuzzy finite state machines are discussed. The covering relationships and associative properties among Kronecker products of lattice-valued transformation matrix semigroup associated with lattice-valued fuzzy finite state machines are studied. These results show that Kronecker product is compatible with the product of lattice-valued finite automata. Also Kronecker product can effectively describe and simplify the product structure of automata.