| 格值有限状态机子机的构造算法 |
| |
| 引用本文： | 雷红轩,黄建科. 格值有限状态机子机的构造算法[J]. 计算机工程与应用, 2010, 46(26): 34-35. DOI: 10.3778/j.issn.1002-8331.2010.26.011 |
| |
| 作者姓名： | 雷红轩 黄建科 |
| |
| 作者单位： | 1.内江师范学院 数学与信息科学学院，四川 内江 641112 2.四川省高等学校数值仿真重点实验室，四川 内江 641112 3.西安陆军学院 科学文化基础教研室，西安 710108 |
| |
| 基金项目： | 四川省教育厅重点科研项目 |
| |
| 摘 要： | 给出了格值有限状态机（简记为LFSM）状态后继的概念，研究了它的性质，并提出了格值子机、格值真子机和基于格值子机的可分离性的概念，讨论了格值子机的若干性质。最后，给出了两个构造格值子机的算法，并通过实例验证了此算法。
|
| 关 键 词： | 格值有限状态机 后继 可分离性 子机 构造算法 |
| 收稿时间： | 2009-09-28 |
| 修稿时间： | 2010-1-13 |
Constructing algorithms of submachines of lattice-valued finite state machines |
| |
| LEI Hong-xuan,HUANG Jian-ke. Constructing algorithms of submachines of lattice-valued finite state machines[J]. Computer Engineering and Applications, 2010, 46(26): 34-35. DOI: 10.3778/j.issn.1002-8331.2010.26.011 |
| |
| Authors: | LEI Hong-xuan HUANG Jian-ke |
| |
| Affiliation: | 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 |
| |
| 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 submaehines are discussed.Finally, two algorithms are aimed at constructing lattice-valued submachines,an example are presented to illustrate the performance of the algorithms. |
| |
| Keywords: | lattice-valued finite state machines successor separability submachines constructing algorithms |
| 本文献已被 维普 万方数据 等数据库收录！ |
| 点击此处可从《计算机工程与应用》浏览原始摘要信息 |
|
点击此处可从《计算机工程与应用》下载免费的PDF全文 |
