The Congruences and Homomorphisms of Lattice-valued Mealy-type Machines
Yongming Li · Mohu xitong yu shuxue · 2007
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.