格值有限状态机的子系统

Subsystem of Lattice-valued finite states machines

提出了格值有限状态机(简记为LFSM)状态后继、子机和子系统的概念,通过LFSM状态集的4种格值子集刻画了LFSM子系统的一系列性质和构成子系统的充分必要条件.最后,通过LFSMs同态的概念得到了子系统的像仍是子系统等结论.

The concept of successor of states, and submachine and subsystem of lattice - valued finite states machine （ LFSM for short） are proposed. Some properties of subsystem of LFSM, and sufficiency and necessary condition of constructing subsystem are characterized from four kinds lattice - valued subset of states of LFSM. Finally, some conclusions of the image of subsystem being a subsystem are obtained in terms of the concept of homomorphism of LFSM.