格值有限自动机及其性质 被引量：10

1

作者 雷红轩 潘超 《内江师范学院学报》 2006年第4期9-12,共4页

提出了格值有限自动的概念,详细地研究了它的性质和它的同态性,揭示了此类自动机和取值格为格半群的代数性质的紧密联系,得到了许多重要结果.

关键词 格半群 模糊有限自动机 同态

下载PDF 职称材料

格值有限自动机等价判定算法 被引量：8

2

作者 雷红轩 盛莉 《计算机工程与应用》 CSCD 北大核心 2006年第22期39-41,45,共4页

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

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

下载PDF 职称材料

模糊有穷自动机与单体二阶Lukasiewicz逻辑 被引量：8

3

作者 李永明 《计算机学报》 EI CSCD 北大核心 2008年第10期1788-1794,共7页

该文引入了单体二阶Lukasiewicz逻辑,进而给出了模糊有穷自动机识别语言的逻辑描述,证明了多值逻辑意义下的Bchi与Elgot基本定理.通过引入星-自由模糊语言与非周期模糊语言,刻画了可以用一阶Lukasiewicz逻辑定义的模糊语言.

关键词 模糊逻辑 有穷自动机 单体二阶Lukasiewicz逻辑 模糊语言 模糊计算

下载PDF 职称材料

模糊有限自动机两个算子的若干性质 被引量：4

4

作者 莫智文 陈乾 《模糊系统与数学》 CSCD 北大核心 2007年第1期75-81,共7页

在文[1]定义了模糊有限自动机的bifuzzy seccessor算子和bifuzzy source算子的基础上,着重研究它们之间的基本性质及关系,并得到几个重要的性质定理。

关键词 bifuzzy seceessor算子和bifuzzy souree算子 模糊有限自动机 性质

下载PDF 职称材料

Pebble模糊有穷自动机和传递闭包逻辑 被引量：4

5

作者 范艳焕 耿生玲 李永明 《模糊系统与数学》 CSCD 北大核心 2015年第4期38-44,共7页

定义了Lukasiewicz逻辑下的一阶有界传递闭包逻辑,并且给出了模糊有穷自动机的一阶有界传递闭包逻辑;另外,我们还介绍了两类模糊有穷自动机:Nested模糊有穷自动机和Pebble模糊有穷自动机,并且证得这两类模糊自动机都可以由一阶有界传递... 定义了Lukasiewicz逻辑下的一阶有界传递闭包逻辑,并且给出了模糊有穷自动机的一阶有界传递闭包逻辑;另外,我们还介绍了两类模糊有穷自动机:Nested模糊有穷自动机和Pebble模糊有穷自动机,并且证得这两类模糊自动机都可以由一阶有界传递闭包逻辑来刻画,因此它们并没有提升模糊自动机的语言识别能力;进而得到本文的主要结论:在Lukasiewicz逻辑下,模糊单体二阶逻辑与Lukasiewicz逻辑下的一阶有界传递闭包逻辑之间等价,且模糊自动机所识别的语言与Pebble模糊有穷自动机识别的语言是等价的。 展开更多

关键词 模糊有穷自动机 单体二阶逻辑 有界传递闭包模糊逻辑 Pebble模糊有穷自动机

原文传递

模糊识别器与有穷自动机的等价性 被引量：4

6

作者 汤恒琦 邓培民 易忠 《计算机工程与应用》 CSCD 北大核心 2008年第9期33-36,共4页

针对模糊识别器与有穷自动机的关系,证明了当输入字母表相同时,任给一个模糊识别器,必然存在一个有穷自动机,使得模糊识别器的行为与有穷自动机所接受的语言相同;反之,任给一个有穷自动机,必然存在一个模糊识别器,使得有穷自动机所接受... 针对模糊识别器与有穷自动机的关系,证明了当输入字母表相同时,任给一个模糊识别器,必然存在一个有穷自动机,使得模糊识别器的行为与有穷自动机所接受的语言相同;反之,任给一个有穷自动机,必然存在一个模糊识别器,使得有穷自动机所接受的语言与模糊识别器的行为相同,从而得出它们之间的等价性。 展开更多

关键词 模糊识别器 有穷自动机 模糊集 状态机

下载PDF 职称材料

非确定模糊有穷自动机的ε-语言逼近 被引量：1

7

作者 王海辉 赵路瑶 李平 《山东大学学报（理学版）》 CAS CSCD 北大核心 2021年第3期37-43,共7页

在max-*复合推理下引入了非确定模糊有穷自动机的概念,其中*是t-模运算。为了比较2个非确定模糊有穷自动机的行为,借助于[0, 1]上的一个实数ε,定义了2种ε-语言逼近,讨论了它们之间的关系。证明了非确定模糊有穷自动机和模糊有穷自动... 在max-*复合推理下引入了非确定模糊有穷自动机的概念,其中*是t-模运算。为了比较2个非确定模糊有穷自动机的行为,借助于[0, 1]上的一个实数ε,定义了2种ε-语言逼近,讨论了它们之间的关系。证明了非确定模糊有穷自动机和模糊有穷自动机之间是0-弱语言逼近的,即二者可以接受相同的模糊语言。此外,还讨论了2种ε-语言逼近的一些代数性质,特别地给出ε-语言逼近在并运算、*运算以及连接运算下的性质。最后,分析了ε-语言逼近的鲁棒性。 展开更多

关键词 模糊有穷自动机 非确定模糊有穷自动机 语言逼近 鲁棒性

原文传递

循环模糊有限自动机的同态性质 被引量：1

8

作者 黄飞丹 李雪佳 +1 位作者 邓泽喜 张维 《模糊系统与数学》 CSCD 北大核心 2014年第4期51-58,共8页

讨论了模糊有限自动机(即模糊Mealy机)的同态性质和循环模糊有限自动机的同态性质,证明了每个模糊有限自动机都是有限个循环模糊有限自动机的直和的同态象。

关键词 模糊有限自动机 循环模糊有限自动机 同态 直和

原文传递

具有输出字符功能的模糊自动机的最小化问题 被引量：1

9

作者 张诗静 舒兰 《模糊系统与数学》 CSCD 北大核心 2007年第5期103-107,共5页

通过文献[8]中两类具有输出字符功能的Fuzzy自动机和Fuzzy有限状态自动机的强等价性,等价性和弱等价性的条件,在以往仅仅给出的Fuzzy有限状态自动机的最小化问题基础上,讨论了具有更广泛意义的具有输出字符功能的Fuzzy自动机的最小化问... 通过文献[8]中两类具有输出字符功能的Fuzzy自动机和Fuzzy有限状态自动机的强等价性,等价性和弱等价性的条件,在以往仅仅给出的Fuzzy有限状态自动机的最小化问题基础上,讨论了具有更广泛意义的具有输出字符功能的Fuzzy自动机的最小化问题,以及其最小化自动机与Fuzzy有限状态自动机的最小化自动机在不同条件下的关系。 展开更多

关键词 fuzzy自动机 fuzzy有限状态自动机 等价

下载PDF 职称材料

基于模糊有限自动机的双模糊拓扑性质 被引量：2

10

作者 陈乾 赵春兰 莫智文 《工程数学学报》 CSCD 北大核心 2009年第1期17-22,共6页

本文研究了由模糊有限自动机的bifuzzy successor算子和bifuzzy source算子所导出的双模糊拓扑。根据这两个算子的性质,我们把它们导出的所有可能的双模糊拓扑系统地进行了分类,并证明了它们都是FFA的双模糊拓扑;进而研究了这些双模糊... 本文研究了由模糊有限自动机的bifuzzy successor算子和bifuzzy source算子所导出的双模糊拓扑。根据这两个算子的性质,我们把它们导出的所有可能的双模糊拓扑系统地进行了分类,并证明了它们都是FFA的双模糊拓扑;进而研究了这些双模糊拓扑之间的关系。 展开更多

关键词 模糊有限自动机 SU算子和SO算子 双模糊拓扑 分类

下载PDF 职称材料

模糊有限自动机的乘积覆盖性 被引量：2

11

作者 陈乾 涂道兴 莫智文 《模糊系统与数学》 CSCD 北大核心 2011年第2期21-28,共8页

推广模糊有限自动机的有限积,包括direct infinite乘积、cascade infinite乘积和wreath infinite乘积。进而讨论它们之间的关系,得到乘积覆盖性等代数性质。

关键词 模糊有限自动机 覆盖 DIRECT infinite乘积 CASCADE infinite乘积 Wreath infinite乘积

原文传递

基于词计算的Fuzzy有限自动机的等价问题

12

作者 张诗静 《内江师范学院学报》 2009年第4期32-34,共3页

首先介绍了一种基于词计算的一类新的Fuzzy有限自动机,这种自动机的特点是输入和输出分别由输入和输出字母表中的Fuzzy子集串替代;其次给出了该种自动机的不同状态下的等价关系,并通过数学归纳法进行了证明,使得词计算在Fuzzy自动机中... 首先介绍了一种基于词计算的一类新的Fuzzy有限自动机,这种自动机的特点是输入和输出分别由输入和输出字母表中的Fuzzy子集串替代;其次给出了该种自动机的不同状态下的等价关系,并通过数学归纳法进行了证明,使得词计算在Fuzzy自动机中的应用能够得到了进一步的推广. 展开更多

关键词 fuzzy有限自动机 词计算 等价性

下载PDF 职称材料

基于词计算的Fuzzy有限自动机的最小化

13

作者 张诗静 舒兰 《西南科技大学学报》 CAS 2009年第1期82-84,90,共4页

介绍了一种基于词计算的一类新的Fuzzy有限自动机,这种自动机的输入和输出分别由输入和输出字母表的Fuzzy子集串代替,定义了它的最小形式,得到这种新的Fuzzy有限自动机M都存在一个与之等价的最小Fuzzy有限自动机Mm。

关键词 fuzzy有限自动机 词计算 最小化 等价性

下载PDF 职称材料

模糊离散事件系统的性质

14

作者 蔡逸凡 李承家 《杭州电子科技大学学报（自然科学版）》 2009年第1期79-81,共3页

有效地刻画一个系统动态变化和状态的不确定性,作为经典离散事件系统的推广,模糊离散事件系统最近被提出并研究。该文用自动机和形式语言的方法研究了由自动机建模的模糊离散事件系统的一些性质,并给出乘积合成系统监督控制器的存在性条... 有效地刻画一个系统动态变化和状态的不确定性,作为经典离散事件系统的推广,模糊离散事件系统最近被提出并研究。该文用自动机和形式语言的方法研究了由自动机建模的模糊离散事件系统的一些性质,并给出乘积合成系统监督控制器的存在性条件,这些都是离散事件系统对应性质的推广。 展开更多

关键词 离散事件系统 模糊有限自动机 可控性 乘积合成

下载PDF 职称材料

基于模糊有限自动机的相对双模糊拓扑

15

作者 陈乾 王彬 林敏 《西南民族大学学报（自然科学版）》 CAS 2009年第3期419-421,共3页

提出了模糊有限自动机的相对双模糊拓扑的概念,推广了模糊有限自动机的双模糊拓扑.初步研究了一类相对双模糊拓扑的分离性和收敛性.

关键词 模糊有限自动机 双模糊拓扑 相对双模糊拓扑

下载PDF 职称材料

格值有限状态自动机的半群

16

作者 雷红轩 《计算机工程与应用》 CSCD 北大核心 2010年第25期49-50,共2页

提出了格值有限状态自动机的定义,给出了格值有限状态自动机的两种同余关系,研究了格值有限状态自动机的半群的若干性质,最后给出了两种有限半群E(A)和E(A)的关系。

关键词 格半群 模糊有限自动机 半群 同态

下载PDF 职称材料

非确定型模糊有限自动机的一种新的极小确定化方法

17

作者 李平 杨巨芳 杨艳萍 《山东大学学报（理学版）》 CAS CSCD 北大核心 2024年第1期56-61,共6页

非确定型模糊有限自动机的极小确定化是自动机理论中的一个重要问题。在格序幺半群下,本文给出一种非确定型模糊有限自动机的新的极小确定化方法,称为内部构造法。为此,首先给出了模糊状态的内部的定义及其相关性质,进一步证明任给一个... 非确定型模糊有限自动机的极小确定化是自动机理论中的一个重要问题。在格序幺半群下,本文给出一种非确定型模糊有限自动机的新的极小确定化方法,称为内部构造法。为此,首先给出了模糊状态的内部的定义及其相关性质,进一步证明任给一个非确定型模糊有限自动机,利用模糊状态的内部的性质得到一个极小的确定型模糊有限自动机与之等价,最后通过例子验证该方法的正确性。 展开更多

关键词 格序幺半群 非确定型模糊有限自动机 确定型模糊有限自动机 极小确定化 内部构造

原文传递

Mealy型模糊有限自动机的最小化算法 被引量：2

18

作者 洪晓蕾 万美凯 +1 位作者 蒋毅 莫智文 《系统工程理论与实践》 EI CSCD 北大核心 2007年第7期122-126,共5页

提出了Mealy型模糊有限自动机的扩张概念并讨论了Mealy型模糊有限自动机的一些性质,进而得到了它与原Mealy型模糊有限自动机在模糊转移函数上的关系,在此基础上讨论了它的最小化算法.

关键词 Mealy型模糊有限自动机 模糊字符串 最小化

原文传递

直觉模糊有限自动机的乘积 被引量：2

19

作者 翁福利 舒兰 王泽文 《模糊系统与数学》 CSCD 北大核心 2012年第4期84-88,共5页

给出了直觉模糊有限自动机的广义直积、级联积和圈积及覆盖的定义,讨论了直觉模糊有限自动机在同构意义下级联积和圈积满足结合性以及各种乘积之间的覆盖关系。

关键词 直觉模糊有限自动机 广义直积 级联积 圈积 同构 覆盖

原文传递

模糊有限自动机的最小化算法优化

20

作者 张婧 张苗苗 《计算机应用》 CSCD 北大核心 2008年第12期3065-3067,共3页

现有的模糊自动机最小化算法没有涉及到对模糊自动机状态的隶属度迁移和变化的讨论,优化的模糊自动机最小化算法弥补了这类算法的不足之处。该算法将模糊有限自动机首先转化为单个初始状态的模糊自动机,然后再将转化后的模糊自动机化简... 现有的模糊自动机最小化算法没有涉及到对模糊自动机状态的隶属度迁移和变化的讨论,优化的模糊自动机最小化算法弥补了这类算法的不足之处。该算法将模糊有限自动机首先转化为单个初始状态的模糊自动机,然后再将转化后的模糊自动机化简为最小模糊自动机,算法在转化过程中单独讨论了模糊自动机状态隶属度的转化方式,使得算法更加严谨和简化。 展开更多

关键词 模糊有限自动机 模糊语言 状态最小化 模糊隶属度 状态迁移

下载PDF 职称材料