The Product Of Two Types Of Automata

This article mainly studies the automaton product based on unsharp quantum logic and kronecker product based on orthogonal modular lattice automata. This article includes the following contents:first, in the case of the framework of matrix theory, based on the general matrix kronecker product, the kronecker product of lattice matrix is defined. Based on the transfer matrix of orthogonal modular lattice automaton, the cover is studied. By taking advantage of lattice matrix Kronecker product, a new product of orthogonal modular lattice automata are given. This chapter also talks about properties of the transfer matrix of orthogonal modular lattice automaton as the cascade product case, and the covering relations between the dierect products. Secondly in the third chapter there define several forms of the product of automata based on unsharp quantum logic, namely, the direct product and generalized direct product, and study language recognition of those product automatas. Then, the covering of automata theory based on quantum logic is defined.