蒂瓦里,S.P。;维杰·雅达夫。;杜贝,M.K。 模糊行为的最小实现:一种双范畴理论方法。 (英语) Zbl 1361.68127号 J.智力。模糊系统。 30,第2期,1057-1065(2016). 摘要:本工作的目的是介绍和研究双范畴理论体系中给定模糊行为的两种最小实现。其中一种实现基于Myhill Nerode的理论,而另一种实现则基于给定模糊行为的导数。这里表明,在这两种实现之间,在清晰确定性模糊机的双范畴中存在唯一的2单元。 引用于1审查引用于三文件 MSC公司: 65年第68季度 形式语言和自动机 18B20型 机器、自动机的类别 18D05日 双类别,(2)-类别,双类别和泛化(MSC2010) 关键词:二分类;清晰确定性模糊自动机;模糊行为;最小实现 PDF格式BibTeX公司 XML格式引用 \textit{S.P.Tiwari}等人,J.Intell。模糊系统。30,编号21057-1065(2016;兹bl 1361.68127) 全文: 内政部 参考文献: [1] 皮尔斯,计算机科学家的基本范畴理论(1991) [2] 邱,基于完全剩余格值逻辑的自动机理论(I),《中国科学》44页419–(2001) [3] 邱,基于完全剩余格值逻辑的自动机理论(II),中国科学45页442–(2002)·Zbl 1161.68549号 [4] Santos,Max乘积机,《数学分析与应用杂志》,第37页,第677页(1972年)·Zbl 0245.94040号 ·doi:10.1016/0022-247X(72)90250-8 [5] Lei,基于有限格序幺半群的自动机理论中的状态最小化,信息科学177 pp 1413–(2007)·兹比尔1109.68058 ·doi:10.1016/j.ins.2006.07.015 [6] Kumbhojkar,《关于模糊有限状态机的适当模糊化》,《国际模糊数学杂志》4 pp 1019–(2008) [7] 邢,基于完全剩余格值逻辑的自动机理论中的等价性,模糊集与系统158页1407–(2007)·Zbl 1152.68463号 ·doi:10.1016/j.fss.2007.01.008 [8] Xing,基于完全剩余格值逻辑的自动机理论:范畴方法,《模糊集与系统》,第160页,2416–(2009)·Zbl 1181.18001号 ·doi:10.1016/j.fss.2009.01.007 [9] Goguen,L-fuzzy集,《数学分析与应用杂志》,第18页,145–(1967)·Zbl 0145.24404号 ·doi:10.1016/0022-247X(67)90189-8 [10] Goguen,闭类机器的最小实现,《美国数学学会公报》第78页第777页——(1972)·Zbl 0277.18003号 ·doi:10.1090/S002-9904-1972-13032-5 [11] Adamek,《范畴中的自动机和代数》(1990)·Zbl 0293.18006号 [12] Bénabou,《双类别导论》,《中西部类别研讨会报告》,数学课堂讲稿47页1–(1967)·Zbl 1375.18001号 ·doi:10.1007/BFb0074299 [13] Ignjatović,完全剩余格中具有隶属值的模糊自动机的确定,《信息科学》178,第164页–(2008)·Zbl 1128.68047号 ·doi:10.1016/j.ins.2007.08.003 [14] Ignjatović,Myhill-模糊语言和自动机的Nerode类型理论,《模糊集与系统》161,第1288页–(2010)·Zbl 1202.68261号 ·doi:10.1016/j.fss.2009.06.007 [15] 莫奇科,模糊自动机的一个范畴,《国际通用系统杂志》20页73–(1991)·Zbl 0735.68063号 ·网址:10.1080/03081079108945016 [16] 莫奇科,模糊和非确定性自动机,软计算3第221页–(1999)·doi:10.1007/s00500050091 [17] 莫奇科,半群同态与模糊自动机,软计算6 pp 423–(2002) [18] Abolpour,两个B广义模糊自动机之间的同构,软计算16 pp 103–(2012)·Zbl 1259.68136号 ·doi:10.1007/s00500-011-0782-4 [19] Peeva,有限L-自动机的行为、还原和最小化28,第171页–(1988)·Zbl 0663.68069号 [20] Peeva,有限L模糊机,模糊集和系统141 pp 415–(2004)·Zbl 1059.68066号 ·doi:10.1016/S0165-0114(02)00609-7 [21] Peeva,有限模糊机的计算行为——算法及其在约简和最小化中的应用178 pp 4152–(2008)·Zbl 1170.68506号 [22] Zadeh,《模糊集,信息与控制》,第8页,第338页–(1965年)·Zbl 0139.24606号 ·doi:10.1016/S0019-9958(65)90241-X [23] Arbib,《类别中的机器:解释性介绍》,SIAM Review 16 pp 163–(1974)·Zbl 0288.18005号 ·doi:10.1137/1016026 [24] Arbib,适用于计算和控制的范畴理论的基本概念,Proc First International Symposium AMherst MA,计算机科学课堂讲稿25 pp 2–(1975)·Zbl 0306.18001号 [25] Arbib,分类学家对自动机和系统的观点,Proc First International Symposium AMherst MA,计算机科学课堂讲稿25 pp 62–(1975)·Zbl 0306.18002号 [26] Barr,计算科学范畴理论(1996)·Zbl 0714.18001号 [27] Doostfatmeh,模糊自动机的新方向38第175页–(2005)·Zbl 1066.68066号 [28] Basak,《关于模糊自动机的商机器和最小机器》,《模糊集与系统》125,第223页–(2002)·Zbl 1015.68130号 ·doi:10.1016/S0165-0114(01)00064-1 [29] Bělohlávek,决定论和模糊自动机,信息科学143第205页–(2002)·Zbl 1018.68040号 ·doi:10.1016/S0020-0255(02)00192-5 [30] 罗斯布鲁,自动机两类中的最小实现,《计算机科学中的数学结构》,第8页,93–(1998)·Zbl 0915.18003号 ·doi:10.1017/S0960129597002454 [31] 艾伦伯格,《语言与机器:A》(1974)·Zbl 0317.94045号 [32] Tiwari,《模糊语言的最小实现和幺半群的构造:范畴方法》,《应用数学与计算杂志》47页401–(2014)·Zbl 1315.68171号 ·doi:10.1007/s12190-014-0782-5 [33] Petković,模糊自动机的同余与同态,模糊集与系统157 pp 444–(2006)·Zbl 1083.68073号 ·doi:10.1016/j.fs.2005.06.017 [34] Trnková,《自动化与分类》,《计算机科学课堂讲稿》,第32页,第160页–(1975)·doi:10.1007/3-540-07389-2_190 [35] Trnková,类别中的关系自动机及其语言,《计算机科学讲义》56页340–(1977)·doi:10.1007/3-540-08442-8_101 [36] Cheng,模糊有限自动机的最小化算法,模糊集与系统141 pp 439–(2004)·Zbl 1069.68563号 ·doi:10.1016/S0165-0114(02)00607-3 [37] Wee,关于自适应算法的推广和模糊集概念在模式分类中的应用(1967) [38] 李华,基于完全剩余格值逻辑的自动机理论:约简与最小化,模糊集与系统161 pp 1635–(2010)·Zbl 1192.68426号 ·doi:10.1016/j.fss.2009.12.011 [39] Kim,T-广义状态机和T-广义变换半群的乘积,模糊集和系统93 pp 87–(1998)·Zbl 0928.68079号 ·doi:10.1016/S0165-0114(96)00205-9 [40] Li,格序幺半群中具有成员值的模糊有限自动机和模糊正则表达式,模糊集和系统156 pp 68–(2005)·Zbl 1083.68059号 ·doi:10.1016/j.fss.2005.04.004 [41] Li,《模糊Mealy和模糊Moore机器之间的等价性》,《软计算》10 pp 953–(2006)·兹比尔1109.68059 ·doi:10.1007/s00500-005-0022-x [42] Li,格有限自动机的最小化及其在格语言分解中的应用,模糊集和系统158,第1423页–(2007)·Zbl 1123.68063号 ·doi:10.1016/j.fss.2007.03.003 [43] 李,格值模糊自动机的分类方法,模糊集与系统156 pp 855–(2006)·兹比尔1090.18003 ·doi:10.1016/j.fss.2005.08.002 [44] Janćić,模糊自动机的Brzozowski类型确定,模糊集与系统249,第73页–(2014)·Zbl 1334.68121号 ·doi:10.1016/j.fss.2014.02.021 此参考列表基于出版商或数字数学图书馆提供的信息。其项与zbMATH标识符进行启发式匹配,可能包含数据转换错误。在某些情况下,zbMATH Open的数据对这些数据进行了补充/增强。这试图尽可能准确地反映原始论文中列出的参考文献,而不要求完整或完全匹配。