计算机工程与应用 ›› 2015, Vol. 51 ›› Issue (21): 70-73.

• 理论研究、研发设计 • 上一篇    下一篇

格值有限状态机的一些性质

胡忠刚,娄全福,孙小迎   

  1. 南昌工学院 民族教育学院,南昌 330108
  • 出版日期:2015-11-01 发布日期:2015-11-16

On some properties of lattice-valued finite state machine

HU Zhonggang, LOU Quanfu, SUN Xiaoying   

  1. School of Ethnic Education, Nanchang Institute of Technology, Nanchang 330108, China
  • Online:2015-11-01 Published:2015-11-16

摘要: 讨论格值有限状态机强连通性、循环性、完全性以及交换性等一些代数性质,证明若两个格值有限状态机之间存在满足一定条件的同态映射时,它们之间的这些性质之间的关系,还给出了格值有限状态机的一些积的定义,以及对积的一些性质进行了讨论,也得到了一些结果。

关键词: 格值有限状态机, 同态, 强连通的, 循环的, 完全的,

Abstract: In this paper, some algebraic properties of a lattice-valued finite state machine are discussed, for example, the completeness, strongly connexity, cyclicity, commutativity and so on. When the homomorphism of lattice-valued finite state machines satisfies some conditions, the properties of a lattice-valued finite state machine are proven. The definition of some products of lattice-valued finite state machines is given, and properties of products are discussed and some results are obtained.

Key words: lattice-valued finite state machine, homomorphism, strongly connected, cyclic, complete, products