计算机工程与应用 ›› 2010, Vol. 46 ›› Issue (26): 34-35.DOI: 10.3778/j.issn.1002-8331.2010.26.011

• 研究、探讨 • 上一篇    下一篇

格值有限状态机子机的构造算法

雷红轩1,2,黄建科3   

  1. 1.内江师范学院 数学与信息科学学院,四川 内江 641112
    2.四川省高等学校数值仿真重点实验室,四川 内江 641112
    3.西安陆军学院 科学文化基础教研室,西安 710108
  • 收稿日期:2009-09-28 修回日期:2010-01-13 出版日期:2010-09-11 发布日期:2010-09-11
  • 通讯作者: 雷红轩

Constructing algorithms of submachines of lattice-valued finite state machines

LEI Hong-xuan1,2,HUANG Jian-ke3   

  1. 1.School of Mathematics and Information Science,Neijiang Normal University,Neijiang,Sichuan 641112,China
    2.Key Laboratory of Numerical Simulation of Sichuan Province,Neijiang,Sichuan 641112,China
    3.Science & Culture Basics Teaching and Research Section,Xi’an Military Academy,Xi’an 710108,China
  • Received:2009-09-28 Revised:2010-01-13 Online:2010-09-11 Published:2010-09-11
  • Contact: LEI Hong-xuan

摘要: 给出了格值有限状态机(简记为LFSM)状态后继的概念,研究了它的性质,并提出了格值子机、格值真子机和基于格值子机的可分离性的概念,讨论了格值子机的若干性质。最后,给出了两个构造格值子机的算法,并通过实例验证了此算法。

关键词: 格值有限状态机, 后继, 可分离性, 子机, 构造算法

Abstract: The definition of state successor of Lattice-valued Finite State Machines(LFSM) is proposed,its properties are investigated.The concepts of lattice-valued submachines and lattice-valued proper submachines and separability based on lattice-valued submachines are put forward,some properties of lattice-valued submachines are discussed.Finally,two algorithms are aimed at constructing lattice-valued submachines,an example are presented to illustrate the performance of the algorithms.

Key words: lattice-valued finite state machines, successor, separability, submachines, constructing algorithms

中图分类号: