格值有限自动机等价判定算法

CORC > 集美大学

	格值有限自动机等价判定算法
	雷红轩 ; 盛莉
刊名	http://epub.edu.cnki.net/grid2008/brief/detailj.aspx?filename=jsgg200622011&dbcode=CJFQ&dbname=CJFQ2006
	2012-06-05 ; 2012-06-05
关键词	格半群 L-Fuzzy矩阵模糊有限自动机等价算法 lattice-ordered monoid L-Fuzzy matrix fuzzy finite automata equivalence algorithm TP301.1
其他题名	Algorithm for Determining the Equivalence between Lattice-valued Finite Automata
中文摘要	引入了完备L-Fuzzy矩阵的概念,给出了基于格半群的模糊有限自动机的形式化定义,即完备格值有限自动机,研究了它的主要性质;给出了完备格值有限自动机的行为矩阵,从行为矩阵出发,给出了自动机状态等价和自动机等价的定义。最后,得到了该类自动机等价的判定算法。; The concept of complete L-Fuzzy matrix is proposed,the definition of fuzzy finite automata based on lattice-ordered monoid is formulated,i.e,the definition of complete lattice-valued finite automata is formulated,and its main properties is studied.Behavior matrix of complete laatice-valued finite automata is given.From behavior matrix,the definition of statewise equivalence relations and automata equivalence of complete lattice-valued finite automata are stated.Finally,algorithm for determining the equivalence between lattice-valued finite automata is obtained.; 【作者单位】内江师范学院数学系；集美大学理学院数学系四川内江641112；厦门361021；【作者英文名】Lei Hongxuan1 Sheng Li21(Department of Mathematics,Neijiang Teachers College,Neijiang,Sichuan 641112)2(Department of Mathematics,School of Sciences,Jimei University,Xiamen 361021)
语种	中文
内容类型	期刊论文
源URL	[http://ir.calis.edu.cn/hdl/235041/15969]
专题	集美大学
推荐引用方式 GB/T 7714	雷红轩,盛莉. 格值有限自动机等价判定算法[J]. http://epub.edu.cnki.net/grid2008/brief/detailj.aspx?filename=jsgg200622011&dbcode=CJFQ&dbname=CJFQ2006,2012, 2012.
APA	雷红轩,&盛莉.(2012).格值有限自动机等价判定算法.http://epub.edu.cnki.net/grid2008/brief/detailj.aspx?filename=jsgg200622011&dbcode=CJFQ&dbname=CJFQ2006.
MLA	雷红轩,et al."格值有限自动机等价判定算法".http://epub.edu.cnki.net/grid2008/brief/detailj.aspx?filename=jsgg200622011&dbcode=CJFQ&dbname=CJFQ2006 (2012).