基于格半群的有限状态自动机的同态  

HOMOMORPHISM OF FINITE STATES AUTOMATA BASED ON LATTICE-ORDERED MONOIDS

作　　者：雷红轩[1,2] 俸卫[2] 

机构地区：[1]陕西师范大学计算机科学学院,陕西西安710061 [2]内江师范学院数学与信息科学学院,四川内江641112

出　　处：《数学杂志》2011年第6期1074-1078,共5页Journal of Mathematics

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

摘　　要：本文研究了格值有限状态自动机(LFSA)的同态和强同态及其性质.利用强同态概念,在格值有限状态自动机的状态集上建立了一种等价关系,得到了格值有限状态自动机的商自动机,证明了商自动机与强同态像自动机同构.In this article, we consider homomorphism and strong homomorphism of latticevalued finite states automata （LFSA）, and study some properties of homomorphism and strong homomorphism of LFSAs. By using the concept of strong homomorphism, we establish a kind of equivalence relation over states of LFSA and obtain quotient automata of LFSA. Finally, we get an isomorphism relation between quotient automata and the strong homomorphism image automata.

关 键 词：格半群 模糊自动机 同态 强同态 同构 

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