文献类型：期刊文章

作　　者：雷红轩[1] 盛莉[2]

机构地区：[1]内江师范学院数学系,四川内江641112 [2]集美大学理学院数学系,厦门361021

出　　处：《计算机工程与应用》

基　　金：国家自然科学基金资助项目(编号:10571112);内江师范学院重点科研资助项目(编号:06NJZ-6)

年　　份：2006

卷　　号：42

期　　号：22

起止页码：39-41

语　　种：中文

收录情况：AJ、BDHX、BDHX2004、CSA、CSA-PROQEUST、CSCD、CSCD2011_2012、IC、INSPEC、JST、RCCSE、ZGKJHX、核心刊

摘　　要：引入了完备L-Fuzzy矩阵的概念,给出了基于格半群的模糊有限自动机的形式化定义,即完备格值有限自动机,研究了它的主要性质;给出了完备格值有限自动机的行为矩阵,从行为矩阵出发,给出了自动机状态等价和自动机等价的定义。最后,得到了该类自动机等价的判定算法。

关 键 词：格半群 L-Fuzzy矩阵  模糊有限自动机 等价 算法  

分 类 号：TP301.1]