格值有限状态机的子系统  

Subsystem of Lattice-valued finite states machines

作　　者：雷红轩[1,2] 

机构地区：[1]内江师范学院数学与信息科学学院,四川内江641112 [2]四川省高等学校数值仿真重点实验室,四川内江641112

出　　处：《重庆文理学院学报（自然科学版）》2010年第2期10-13,共4页Journal of Chongqing University of Arts and Sciences

基　　金：四川省教育厅重点科研项目(08ZA129)

摘　　要：提出了格值有限状态机(简记为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.

关 键 词：模糊自动机 子机 子系统 同态 

分 类 号：O235[理学—运筹学与控制论] TP301.1[理学—数学]