×

格值模糊自动机的分类方法。 (英语) 邮编1090.18003

摘要:本文研究了利用量子理论对自动机和格值模糊自动机进行统一的范畴理论处理。首先,对量子数(L)和量子数(Q)引入了幺半群(M)和(Q)富集范畴上的(L)-关系带,然后证明了相应范畴的等价性。然后,格值(模糊)自动机用\(Q\)富集的范畴来描述。事实上,格值(模糊)自动机是用广义格值自动机的范畴来刻画的,它使用了(Q)-双模的概念。最后,利用(Q)-双模粘合技术研究了广义格值自动机行为的一些代数性质。

MSC公司:

18B20型 机器、自动机的类别
2007年6月 Quantales公司
70年第68季度 语言代数理论与自动机
18B35型 预订单、订单、域和格(视为类别)
PDF格式BibTeX公司 XML格式引用
全文: 内政部

参考文献:

[1] Abramsky,S。;Vickers,S.、Quantales、观察逻辑和过程语义、数学。结构。计算。科学。,3, 3, 161-227 (1993) ·Zbl 0823.06011号
[2] Asveld,P.R.J.,《模糊语言族的代数方面》,Theoret。计算。科学。,293, 417-445 (2003) ·Zbl 1026.68078号
[3] Balbes,R。;Dwinger,P.,《分配格》(1974),哥伦比亚,莫苏里大学出版社:哥伦比亚,莫索里大学出版社,密苏里·Zbl 0321.06012
[4] Betti,R.,Automi e category chiuse,波尔。联合国。Mat.Italiana,5,44-88(1980)·Zbl 0456.18003号
[5] 贝蒂,R。;Kasangian,S.,树自动机和丰富的范畴理论,Rend。发行。特里亚斯特材料大学,17,1-2,71-78(1985)·Zbl 0614.68045号
[6] S.Eilenberg,《自动化、语言和机器》,学术出版社,纽约,A、B卷,1974年。;S.Eilenberg,《自动化、语言和机器》,学术出版社,纽约,A、B卷,1974年·Zbl 0317.94045号
[7] Grätzer,G.,《一般格理论》(1978),学术出版社:纽约学术出版社,旧金山·Zbl 0385.06015号
[8] 霍普克罗夫特,J.E。;Ullman,J.D.,《自动机理论、语言和计算导论》(1979),Addison-Wesley:Addison-Whesley New York·Zbl 0196.01701号
[9] A.Joyal,M.Tierney,《Grothendieck伽罗瓦理论的延伸》,AMS回忆录,第309期,美国数学学会,1984年。;A.Joyal,M.Tierney,《Grothendieck伽罗瓦理论的延伸》,AMS回忆录,第309期,美国数学学会,1984年·Zbl 0541.18002号
[10] 卡桑吉安,S。;Kelly,G.M。;Rossi,F.,《碰撞与非确定性自动机的实现》,Cahiers Topologie Geom。差速器,XXIV,1,23-46(1983)·Zbl 0518.18009号
[11] 卡桑吉安,S。;Rosebrugh,R.,自动机分解与丰富范畴理论,Cahiers拓扑地理学。差速器,XXVII,4,137-143(1986)·兹比尔062568040
[12] 卡桑吉安,S。;Rosebrugh,R.,《胶水富集模块和自动机组成》,Cahiers Toplogie Geom。差速器,XXXI,4283-290(1990)·兹比尔0735.18002
[13] Li,Y.M。;Li,Z.H.,Quantales和互模拟的过程语义,《数学学报》。Sinica,42,2,313-320(1999),(中文)·兹比尔1012.68107
[14] 李玉梅,非交换线性逻辑及其量子语义,陕西师范大学学报,自然科学版,第29卷(12),2001,第1-5页(中文)。;李玉梅,非交换线性逻辑及其量子语义,陕西师范大学学报,自然科学版,第29卷(12),2001,第1-5页(中文)·兹伯利0987.03018
[15] Li,Y.M。;周,M。;Li,Z.H.,量子数范畴中的投射宾语和内射宾语,J.Pure Appl。代数,176,2-3,249-258(2002)·Zbl 1020.06006号
[16] Y.M.Li,W.Pedrycz,格序幺半群中隶属值的模糊有限自动机和模糊正则表达式,模糊集与系统156(2005)68-92。;Y.M.Li,W.Pedrycz,格序幺半群中隶属值的模糊有限自动机和模糊正则表达式,模糊集与系统156(2005)68-92·Zbl 1083.68059号
[17] Marti-Oliet,N。;Meseguer,J.,《从petri网到线性逻辑》,数学。结构。计算。科学。,1, 1, 69-102 (1991) ·Zbl 0746.03057号
[18] 莫奇科,J.,半群同态与模糊自动机,软计算。,6, 423-427 (2002) ·Zbl 1039.68080号
[19] Mordeson,J.N。;Malik,D.S.,《模糊自动机与语言:理论与应用》(2002),查普曼和霍尔/CRC:查普曼与霍尔/CRC博卡拉顿,伦敦·Zbl 1046.68068号
[20] Peeva,K.,《半环上有限自动机的等价性、约简和最小化》,Theoret。计算。科学。,88, 269-285 (1991) ·Zbl 0737.68063号
[21] Rosenthal,K.L.,《Quantales及其应用》(1990年),《Longman科技:Londman科技伦敦》·Zbl 0703.06007号
[22] 罗森塔尔,K.L.,《量子理论》(1996),朗曼科学与技术:朗曼科学技术伦敦·Zbl 0845.18003号
[23] Santos,E.S.,Maximin automata,Inform公司。控制,12367-377(1968)·Zbl 0174.03601号
[24] W.G.Wee,关于自适应算法的推广和模糊集概念在模式分类中的应用,普渡大学博士论文,1967年6月。;W.G.Wee,《关于自适应算法的推广和模糊集概念在模式分类中的应用》,普渡大学博士论文,1967年6月。
此参考列表基于出版商或数字数学图书馆提供的信息。其项与zbMATH标识符进行启发式匹配,可能包含数据转换错误。在某些情况下,zbMATH Open的数据对这些数据进行了补充/增强。这试图尽可能准确地反映原始论文中列出的参考文献,而不要求完整或完全匹配。