格值有限状态自动机的子机和强子系统  

Subautomata and Strong Subsystem of Lattice-valued Finite States Automata

作　　者：雷红轩[1,2] 吕晓亚[1] 

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

出　　处：《内江师范学院学报》2010年第4期26-29,共4页Journal of Neijiang Normal University

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

摘　　要：在格值有限状态自动机(简称为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.

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

分 类 号：TP301.1[自动化与计算机技术—计算机系统结构]