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

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

基于模糊字符串的Mealy格值有限自动机及其最小化

提出取值为格半群的M ealy格值有限自动机的概念,进而得到基于模糊字符串的M ealy格值有限自动机的扩张模型,并较详细讨论了其性质。同时定义了扩张的完备M ealy格值有限自动机的行为矩阵,在此基础上给出了其最小化算法。

扩展原理下区间二型模糊Mealy自动机的语言动力系统

运用区间二型模糊集合的扩展原理,将Mealy自动机转化为区间二型模糊Mealy自动机(interval type-2fuzzy Mealy automata,IT2FMA),提出了应用IT2FMA作为词计算的形式模型来研究语言动力系统,分析了IT2FMA输入分别为数值符号串和词串时间复杂度的关系,研究了IT2MFA下的语言动力学轨迹。通过供水控制系统验证了模型的可行性和有效性,结果表明:通过选择合适的状态转移函数和输出函数,当输入变化时,IT2FMA能做出正确的决策。

确定型模糊多重集有限自动机的极小化

主要研究确定型模糊多重集有限自动机的状态极小化问题。给出了模糊多重集有限自动机的同余和同态概念,并利用同余和同态关系研究了确定型模糊多重集有限自动机的极小化问题。进一步从确定型模糊多重集有限自动机自身出发,构造出极小模糊多重集有限自动机,并给出了极小化的算法。

基于模糊乘积有限自动机的覆盖关系

对Mealy-型模糊有限自动机乘积结构作了进一步的研究,并且对覆盖关系作了细致的刻画,推广了原有的覆盖概念.针对Mealy-型这类模糊有限自动机,通过性质考察了此覆盖概念的合理有效性,新的覆盖概念在乘积自动机间建立了更多的联系.特别证明了直积、级联积、圈积三种乘积之间的覆盖关系.得到了一些乘积自动机覆盖关系的传递性质.

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

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