×
马齐·沙姆西扎德;穆罕默德·梅赫迪·扎赫迪

BL-广义模糊自动机的2型互模拟。 （英语） Zbl 1430.68150号

软计算。 23，第20号，9843-9852（2019）.
摘要：在本文中，首先，我们定义了一个基本逻辑广义模糊自动机的2型互模拟，并证明了如果两个基本逻辑通用模糊自动机之间存在2型互仿真，则它们具有相同的行为。此外，通过使用类型2的最大互模拟，我们得到了一个商最小的商基本逻辑广义模糊自动机。此外，我们证明了如果两个自动机之间存在1型互模拟，那么它们之间存在2型互模拟。此外，我们给出了一个算法，该算法确定任意两个基本逻辑通用模糊自动机之间的2型互模拟，并表明该算法的时间复杂度优于计算1型互模拟的算法的时间复杂性。然后，我们给出了一些例子来阐明本文的概念和结果。

引用于三文件

MSC公司：

65年第68季度 形式语言和自动机

关键词：

BL-广义模糊自动机;2型共刺激;商自动机;最小自动机

软件：

石溪;UMDES公司
PDF格式BibTeX公司 XML格式引用
\textit{M.Shamsizadeh}和\textit{M.Zahedi}，软计算。23，第20号，9843--9852（2019；Zbl 1430.68150）
全文： 内政部

参考文献：

[1] Abolpour K，Zahedi MM（2012）两个BL-广义模糊自动机之间的同构。软计算16:729-736·兹比尔1259.68136 ·doi:10.1007/s00500-011-0782-4
[2] Aceto L，Ingólfsdóttir A，Larsen KG，Srba J（2007）《反应系统：建模、规范和验证》。剑桥大学出版社·Zbl 1141.68043号 ·doi:10.1017/CBO9780511814105
[3] Basak NC，Gupta A（2002）关于模糊自动机的商机器和最小机器。模糊集系统125:223-229·Zbl 1015.68130号 ·doi:10.1016/S0165-0114（01）00064-1
[4] Cassandras CG，Lafortune S（2009）离散事件系统简介。柏林施普林格·Zbl 0934.93001号
[5] Cheng W，Mo ZW（2004）模糊有限自动机的最小化算法。模糊集系统141:439-448·Zbl 1069.68563号 ·doi:10.1016/S0165-0114（02）00607-3
[6] Chic irićM，IgnjatovićJ，DamljanovićN，BašićM（2012a）模糊自动机的双模拟。模糊集系统186:100-139·Zbl 1237.68113号 ·doi:10.1016/j.fss.2011.07.003
[7] ch irićM，IgnjatovićJ，Janćići，DamljanovićN（2012b）《模糊自动机之间最大模拟和双模拟的计算》。模糊集系统208:22-42·Zbl 1252.68168号 ·doi:10.1016/j.fss.2012.05.006
[8] Chi irićM，IgnjatovićJ，BašićM，Janći（2014）《非确定性自动机：等价、双模拟和统一关系》。信息科学261:185-218·Zbl 1328.68111号 ·doi:10.1016/j.ins.2013.07.029
[9] Doostfatmeh M，Kremer SC（2005）模糊自动机的新方向。国际J近似原因38:175-214·Zbl 1066.68066号 ·doi:10.1016/j.ijar.2004.08.001
[10] Dovier A，Piazza C，Policriti A（2004）计算互模拟等价性的有效算法。理论计算科学311:221-256·Zbl 1070.68101号 ·doi:10.1016/S0304-3975（03）00361-X
[11] Gary MR、Johnson DS（1979）《计算机与难处理性：NP完备性理论指南》。SIAM版本24:90-91·Zbl 0411.68039号
[12] Hájek P（1998）《模糊逻辑的元数学》，第4卷。柏林施普林格·Zbl 0937.03030号 ·doi:10.1007/978-94-011-5300-3
[13] Lee ET，Zadeh LA（1969）《模糊语言注释》。信息科学4:421-434·doi:10.1016/0020-0255（69）90025-5
[14] Mateescu A，Salomaa A，Salovaa K，Yu S（1996）用简单有限模糊自动机模型进行词汇分析。大学计算科学杂志1:292-311·Zbl 1044.68660号 ·doi:10.1007/978-3-642-80350-528
[15] 米尔纳，R。；Goos，G.（编辑）；Hartmanis，J.（编辑），《通信系统微积分》，第92期（1980年），柏林·兹比尔0452.68027
[16] Park D（1981）无限序列上的并发性和自动机。计算机科学理论104:167-183·Zbl 0457.68049号 ·doi:10.1007/BFb0017309
[17] Peeva K（1988）有限L-自动机的行为、约简和最小化。模糊集系统28:171-181·Zbl 0663.68069号 ·doi:10.1016/0165-0114（88）90198-4
[18] Peeva K（1991）半环上有限自动机的等价、约简和最小化。计算机科学理论88:269-285·Zbl 0737.68063号 ·文件编号：10.1016/0304-3975（91）90377-E
[19] Nguyen HT，Elbert A，Walker A（2005）模糊逻辑第一课程。博卡拉顿CRC出版社·Zbl 1083.03031号
[20] Ray AK，Chatterjee B，Majumdar AK（1991）构造最小模糊自动机的形式幂级数方法。信息科学55:189-207·兹比尔0717.68059 ·doi:10.1016/0020-0255（91）90013-K
[21] Roggenbach M，Majster-Cederbaum M（2000）《走向相互模拟的统一观点：比较研究》。《计算机科学》238:81-130·Zbl 0944.68136号 ·doi:10.1016/S0304-3975（99）00303-5
[22] Saeidi Rashkolia A，Shamsizadeh M（2018）BL-通用模糊自动机的转换。国际数学杂志（出版中）
[23] Santos ES（1968）Maximin自动机。信息控制13:363-377·Zbl 0174.03601号 ·doi:10.1016/S0019-9958（68）90864-4
[24] Shamsizadeh M，Zahedi MM（2015a）直觉主义一般模糊自动机。软计算20:3505-3519·Zbl 1370.68191号 ·数字对象标识码：10.1007/s00500-015-1969-x
[25] Shamsizadeh M，Zahedi MM（2015b）最小直觉一般L-模糊自动机。意大利纯粹应用数学杂志35:155-186·Zbl 1348.68110号
[26] Shamsizadeh M，Zahedi MM（2016）最小和状态最小直觉广义L-fuzzy自动机。伊朗模糊系统杂志23:131-152·Zbl 1417.68090号
[27] Shamsizadeh M，Zahedi MM，Abolpour K（2016）BL-广义模糊自动机的双向模拟。伊朗模糊系统杂志13:35-50·Zbl 1404.68074号
[28] Shamsizadeh M，Zahedi MM，Abolpour K（2018）BL-广义模糊自动机的可容许划分。伊朗模糊系统杂志17:79-90·Zbl 1405.68171号
[29] Skiena SS（1998）算法设计手册，第1卷。柏林施普林格·Zbl 0885.68002号
[30] Topencharov V，Peeva K（1981）有限模糊自动机的等价、约简和最小化。数学分析应用杂志84:270-281·Zbl 0477.68051号 ·doi:10.1016/0022-247X（81）90165-7
[31] Turene E（2001）BL-代数的布尔演绎系统。Arch数学日志40:467-473·Zbl 1030.03048号 ·doi:10.1007/s001530100088
[32] Wee-WG（1967）关于自适应算法的推广和模糊集概念在模式分类中的应用。印第安纳州拉斐特普渡大学博士论文
[33] Zadeh LA（1965）模糊集。信息控制8:338-353·兹伯利0139.24606 ·doi:10.1016/S0019-9958（65）90241-X
此参考列表基于出版商或数字数学图书馆提供的信息。其项与zbMATH标识符进行启发式匹配，可能包含数据转换错误。在某些情况下，zbMATH Open的数据对这些数据进行了补充/增强。这试图尽可能准确地反映原始论文中列出的参考文献，而不要求完整或完全匹配。