摘要
在格值有限状态自动机(简称为LFSA)理论的基础上,给出了LFSA状态后继、LFSA子机、子系统和强子系统的概念,通过后继、可分离性等概念刻画了子机、子系统和强子系统的性质,讨论了构成强子系统的充分必要条件,以及子机和强子系统的相互刻画.最后,通过LFSAs同态的概念得到了强子系统的象仍是强子系统等结论.
On the basis of the theory of lattice-ordered finite states automata（LFSA for short）, concepts like successor of states, subautomata, subsystem and strong subsystem of LFSA are put forth. Some properties of subautomata and subsystem and strong subsystem of LFSA are charactered through concepts of successor and separability, necessary and sufficient conditions of constructing a strong subsystem are discussed in particular, and the mutual depiction between a subautomata and a strong subsystem is also examined. Finally, the conclusion that the image of a strong subsystem is still a strong subsystem is arrived at via the concept of homomorphism.
出处
《内江师范学院学报》
2010年第4期26-29,共4页
Journal of Neijiang Normal University
基金
四川省教育厅重点科研项目(08ZA129)
关键词
模糊自动机
子机
强子系统
同态
fuzzy automata
subautomata
strong subsystem
homomorphism
