×

模糊行为的最小模糊实现:一种双范畴理论方法。 (英语) Zbl 1429.18002号

摘要:本工作的目的是介绍和研究在两类理论设置中给定模糊行为的最小模糊实现。这种模糊实现的构造基于Myhill-Nerode理论。

MSC公司:

18B20型 机器、自动机的类别
65年第68季度 形式语言和自动机
PDF格式BibTeX公司 XML格式引用
全文: 链接

参考文献:

[1] [1] B.C.Pierce,《计算机科学家的基本范畴理论》,麻省理工学院出版社,剑桥,1991年·Zbl 0875.18001号
[2] [2] 邱德华,基于完全剩余格值逻辑的自动机理论(I),中国科学,44(2001)419-429·兹比尔1125.68383
[3] [3] 邱德华,基于完全剩余格值逻辑的自动机理论(II),中国科学,45(2002)442-452·Zbl 1161.68549号
[4] [9] J.A.Goguen,L-模糊集,《数学分析与应用杂志》,18(1967)145-174·Zbl 0145.24404号
[5] [10] J.A.Goguen,封闭类别中机器的最小实现,美国数学学会公报,78(1972)777-783·Zbl 0277.18003号
[6] [11] J.Adamek,V.Trnkova,《范畴中的自动机和代数》,Kluwer,1990年·Zbl 0698.18001号
[7] [12] J.B´enabou,《双类别导论》,《中西部类别研讨会报告》,数学课堂讲稿,47(1967)1-77·Zbl 1375.18001号
[8] [13] J.Ignjatovi´c、M.´Ciri´c和S.Bogdanovi´c,完全剩余格中隶属值模糊自动机的确定,信息科学,178(2008)164-180·Zbl 1128.68047号
[9] [14] J.Ignjatovi-c、M.´Ciri´c、S.Bogdanovic´c和T.Petkovi´c,模糊语言和自动机的Myhill-Nerode类型理论,模糊集与系统,161(2010)1288-1324·Zbl 1202.68261号
[10] [15] J.Moáckáor,《模糊自动机的一类》,《国际通用系统杂志》,20(1991)73-82·Zbl 0735.68063号
[11] [16] J.Mo’ck’or,模糊和非确定性自动机,软计算,3(1999)221-226。
[12] [17] J.Moáckáor,半群同态与模糊自动机,软计算,6(2002)423-427·Zbl 1039.68080号
[13] [18] J.N.Mordeson和D.S.Malik,《模糊自动机和语言:理论和应用》,查普曼和霍尔/CRC。伦敦/博卡拉顿,2000年·Zbl 1046.68068号
[14] [19] K.Abolpour,M.M.Zahedi,两个BL-广义模糊自动机之间的同构,软计算,16(2012)103-118·兹比尔1297.68100
[15] [20] K.Blount,C.Tsinakis,剩余格的结构,国际代数与计算杂志,13(2003)437-461·Zbl 1048.06010号
[16] [21]K.G.Peeva,有限L-自动机的行为、约简和最小化,模糊集和系统,28(1988)171-181·Zbl 0663.68069号
[17] [22]K.Peeva,有限L模糊机,模糊集与系统,141(2004)415-437·Zbl 1059.68066号
[18] [23]K.Peeva,Zl。Zahariev,有限模糊机的计算行为——算法及其在约简和最小化中的应用,信息科学,178(2008)4152-4165·Zbl 1170.68506号
[19] [24]L.A.Zadeh,模糊集,信息与控制,8(1965)338-353·Zbl 0139.24606号
[20] [25]M.A.Arbib,E.G.Manes,《类别中的机器:解释性介绍》,《SIAM评论》,16(1974)163-192·Zbl 0288.18005号
[21] [26]M.A.Arbib,E.G.Manes,适用于计算和控制的范畴理论的基本概念,Proc。第一届国际研讨会,马萨诸塞州阿默斯特,计算机科学讲义,25(1975)2-41·Zbl 0306.18001号
[22] [27]M.A.Arbib,E.G.Manes,分类学家对自动机和系统的看法,Proc。第一届国际研讨会AMherst MA,计算机科学讲稿,25(1975)62-78·Zbl 0306.18002号
[23] [28]M.Barr,C.Wells,计算科学的范畴理论,Prentice-Hall国际最小模糊实现FORFUZYBEHAVIOUR121
[24] [33]R.Rosebrugh,N.Sabadini,R.F.C.Walters,自动机两类中的最小实现,计算机科学中的数学结构,8(1998)93-116·Zbl 0915.18003号
[25] [34]S.Eilenberg,《自动化》,《语言与机器:A》,学术出版社,纽约,1974年·Zbl 0317.94045号
[26] [35]S.P.Tiwari,V.K.Yadav,A.K.Singh,模糊语言的最小实现和幺半群的构造:范畴方法,应用数学与计算杂志,47(2014)401-416·Zbl 1315.68171号
[27] [36]S.P.Tiwari,V.K.Yadav,M.K.Dubey,模糊行为的最小实现:双范畴理论方法,《智能与模糊系统杂志》,30(2)(2016)1057-1065·Zbl 1361.68127号
[28] [37]T.Petkovi´c,模糊自动机的同余与同态,模糊集与系统,157(2006)444-458·Zbl 1083.68073号
[29] [38]V.Trnkov´a,自动化和类别,计算机科学讲义,32(1975)160-166·兹比尔0341.94021
[30] [39]V.Trnkov´a,类别中的关系自动机及其语言,《计算机科学讲义》,56(1977)340-355·Zbl 0386.18005号
[31] [40]V.K.Yadav,V.Gautam,S.P.Tiwari,《关于IF语言的最小实现:分类方法》,《伊朗模糊系统杂志》,13(3)(2016)19-34·Zbl 1404.68075号
[32] [41]W.Cheng,Z.Mo,模糊有限自动机的最小化算法,模糊集与系统,141(2004)439-448·Zbl 1069.68563号
[33] [42]W.G.Wee,《关于自适应算法的推广和模糊集概念在模式分类中的应用》,博士论文,普渡大学,拉斐特,印第安纳州,1967年。
[34] [43]W.Lihua,D.Qiu,基于完全剩余格值逻辑的自动机理论:约简与最小化,模糊集与系统,161(2010)1635-1656·Zbl 1192.68426号
[35] [44]Y.H.Kim、J.G.Kim和S.J.Cho,T-广义状态机和T-广义变换半群的乘积,模糊集与系统,93(1998)87-97·Zbl 0928.68079号
[36] [45]Y.H.She,G.J.Wang,基于剩余格的模糊粗糙集公理化方法,计算机与应用数学,58(2009)189-201·Zbl 1189.03059号
[37] [46]Y.Li,W.Pedrycz,格序幺半群中隶属值的模糊有限自动机和模糊正则表达式,模糊集与系统,156(2005)68-92·Zbl 1083.68059号
[38] [47]Y.Li,W.Pedrycz,《模糊Mealy机器和模糊Moore机器之间的等价性》,《软计算》,10(2006)953-959·Zbl 1109.68059号
[39] [48]Y.Li,W.Pedrycz,格有限自动机的最小化及其在格语言分解中的应用,模糊集与系统,158(2007)1423-1436·Zbl 1123.68063号
[40] [49]Y.M.Li,格值模糊自动机的分类方法,模糊集与系统,156(2006)855-864·兹比尔1090.18003
[41] [50
此参考列表基于出版商或数字数学图书馆提供的信息。其项与zbMATH标识符进行启发式匹配,可能包含数据转换错误。在某些情况下,zbMATH Open的数据对这些数据进行了补充/增强。这试图尽可能准确地反映原始论文中列出的参考文献,而不要求完整或完全匹配。