加权Moore机的同余与最小化

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

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

计算机工程与科学 >

2010 , Vol. 32 >Issue 9: 165 - 168

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

论文

加权Moore机的同余与最小化

展开

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

李苏妮(1984),女,陕西周至人，硕士，研究方向为计算智能；李永明,博士,教授,CCF会员(E200007329S),研究方向为计算智能。

收稿日期: 2010-03-11

修回日期: 2010-06-19

网络出版日期: 2010-09-02

基金资助

国家自然科学基金资助项目（60873119）

收起

Weighted Moore MachineCongruences and Minimization

Expand

(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 date: 2010-03-11

Revised date: 2010-06-19

Online published: 2010-09-02

Fold

摘要

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

关键词： 加权Moore机; 同余; 算法

本文引用格式

李苏妮1，李天朝2，李永明1,3 . 加权Moore机的同余与最小化[J]. 计算机工程与科学, 2010 , 32(9) : 165 -168 . DOI: 10.3969/j.issn.1007130X.2010.

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

Options

文章导航

模态框（Modal）标题

摘要

本文引用格式

Abstract