提出格值Mealy自动机的概念,从代数角度出发详细研究此类自动机的性质,同时研究此类自动机的同余和同态,揭示此类自动机的代数性质和取值格半群的紧密联系,最终研究格值Mealy自动机的极小化,给出可在有限步实现极小化的算法。
The notion lattice-valued Mealy-type machine is introduced, we traverse some algebraic properties of this machine and investigate the congruences and homomorphisms of this type machine. Our main results indicate that the algebraic properties of lattice-valued Mealy-type machines has close linksto the algebraic properties of lattice-ordered monoids which machines take value in. Finally we study the minimization of lattice-valued Mealy-type machines and provide an algorithm to achieve the minimal lattice-valued Mealy-type machines within finite steps.