加权Moore机的同余与最小化

doi:10.3969/j.issn.1007130X.2010.

J4 ›› 2010, Vol. 32 ›› Issue (9): 165-168.doi: 10.3969/j.issn.1007130X.2010.

• 论文 • 上一篇

加权Moore机的同余与最小化

李苏妮1，李天朝2，李永明1,3

（1.陕西师范大学数学与信息科学学院，陕西西安 710062;2.陕西师范大学网络信息中心，陕西西安 710062;3.陕西师范大学计算机科学学院，陕西西安 710062）

收稿日期:2010-03-11 修回日期:2010-06-19 出版日期:2010-09-02 发布日期:2010-09-02
作者简介:李苏妮(1984),女,陕西周至人，硕士，研究方向为计算智能；李永明,博士,教授,CCF会员(E200007329S),研究方向为计算智能。
基金资助:
国家自然科学基金资助项目（60873119）

Weighted Moore MachineCongruences and Minimization

LI Suni1,LI Tianchao2,LI Yongming1,3

(1.School of Mathematics and Information Science,Shaanxi Normal University,Xi’an 710062;2.Network Information Center,Shaanxi Normal University,Xi’an 710062;3.School of Computer Science,Shaanxi Normal University,Xi’an 710062,China)

Received:2010-03-11 Revised:2010-06-19 Online:2010-09-02 Published:2010-09-02

摘要/Abstract

摘要：

本文定义了加权Moore机的同余、同态，给出了同态定理并证明了同余关系在加权Moore机中构成一个完备格。在同余关系下给出了加权Moore机的商Moore机，并给出了求最小状态Moore机的算法。

关键词: 加权Moore机, 同余, 算法

Abstract:

The congruences and homomorphisms of a weighted Moore machine are defined in this paper. Moreover, a homomorphism theorem is given and the congruence relations form a complete lattice in the weighted Moore machine are proved. Under the congruence relation,the factor Moore machine of the weighted Moore machine is given. The algorithm of finding the minimum state Moore machine is presented.

Key words: weighted Moore machine;congruences;algorithm

李苏妮1，李天朝2，李永明1,3. 加权Moore机的同余与最小化[J]. J4, 2010, 32(9): 165-168.

LI Suni1,LI Tianchao2,LI Yongming1,3. Weighted Moore MachineCongruences and Minimization[J]. J4, 2010, 32(9): 165-168.

[1]	闫盼，谭瑛，张建华. 一种用于进化算法历史计算数据的高效利用方法[J]. J4, 20160101, 38(01): 62-66.
[2]	杨春苗, 王杨, 韩力英, 孙赫彬. 基于生成对抗网络的跨模态图像情感感知描述[J]. 计算机工程与科学, 2025, 47(05): 894-901.
[3]	邸剑, 万雪, 姜丽梅, . 基于随机对称搜索的进化强化学习算法[J]. 计算机工程与科学, 2025, 47(05): 912-920.
[4]	申锦尚, 张庆顺, 宋铁锐. 基于FPGA的高速AES实现与列混合改进[J]. 计算机工程与科学, 2025, 47(04): 612-620.
[5]	李世杰, 刘阳, 唐晋韬, 郄航. 基于孤立集分区的并行Louvain社区发掘算法[J]. 计算机工程与科学, 2025, 47(04): 621-633.
[6]	彭林, 张鹏, 陈俊峰, 唐滔, 黄春. 基于监督学习的稀疏矩阵乘算法优选[J]. 计算机工程与科学, 2025, 47(03): 381-391.
[7]	赵彩虹, 刘梓璇, 周建涛, . 一种基数为4的高基数SRT立方根算法设计与实现[J]. 计算机工程与科学, 2025, 47(02): 228-237.
[8]	袁梁勇, 齐星云, 吕方旭, 罗章, 黄恒, 张庚, 王文晨, 李萌, 赖明澈. 面向Duobinary信号的时钟恢复电路研究与设计[J]. 计算机工程与科学, 2025, 47(01): 27-34.
[9]	章政, 夏小云, 陈泽丰, 向毅. 融合强化学习的分阶段策略求解旅行背包问题[J]. 计算机工程与科学, 2025, 47(01): 140-149.
[10]	高纪元, 刘杰, 陈昌盛, 李伟, 刘影, 杨靖, . 混合策略改进的蜣螂优化算法[J]. 计算机工程与科学, 2025, 47(01): 171-179.
[11]	陈小文, 芮志超, 朱麒瑾, 董羽, 孟宇, . 高精度两步分支混合CORDIC算法设计及FPGA实现[J]. 计算机工程与科学, 2024, 46(12): 2099-2108.
[12]	沈凡凡, 汤星译, 张军, 徐超, 陈勇, 何炎祥. 基于改进萤火虫算法和长短期记忆网络的恶意行为检测方法[J]. 计算机工程与科学, 2024, 46(12): 2158-2170.
[13]	陈朝辉, 段雄. 基于TLSF算法的高效内存分配算法的设计与实现[J]. 计算机工程与科学, 2024, 46(11): 1916-1923.
[14]	王冰彬, 唐震洲 . 一种结合遗传算法和聚类的软件定义网络控制器优化部署机制[J]. 计算机工程与科学, 2024, 46(11): 1971-1978.
[15]	彭频, 王欣悦. 基于匮乏理论的应急物资调度模型构建及算法研究[J]. 计算机工程与科学, 2024, 46(11): 2063-2070.

加权Moore机的同余与最小化

Weighted Moore MachineCongruences and Minimization

PDF

可视化

摘要/Abstract

引用本文

使用本文

相关文章 15

编辑推荐

Metrics

本文评价