模糊自动机的强连通性及群自动机

为了更好地研究模糊自动机的结构和性质,采用代数的方法,在传统的模糊有限状态自动机的基础上,通过定义状态集合为代数群的自动机,讨论了这一类自动机的连通性和正则性,这丰富了模糊自动机理论．     

模糊Rabin自动机和模糊Game自动机的等价性

自动机是理论计算机的一个重要的研究内容.模糊Rabin自动机和模糊Game自动机是经典自动机的延续,给出了模糊Rabin自动机和模糊Game自动机的相关定义,讨论各自的内在性质,并得到了二者的等价关系.这进一步丰富了模糊自动机理论.     

通用模糊自动机

首先使用模糊语言的分解定义了通用模糊自动机:这个自动机以该模糊语言的分解作为状态,通过模糊语言的包含度定义其转移函数。其次定义了模糊自动机上的态射,证明了接受给定模糊语言的所有自动机都可以标准地映射到该语言对应的通用模糊自动机上,这个性质称为通用性。最后进一步讨论了模糊商自动机,模糊m-最小自动机,模糊最小自动机及与通用模糊自动机之间的关系。     

弱可逆有限自动机的化合与分解

本文证明了任何素数元延迟1步WIFA可以分解出一个延迟元与一个无延迟WIFA。故而k个素数元延迟1步WIFA的化合可以分解为一个无延迟WIFA与k个延迟元。另外对于二元延迟τ步WIFA,上述分解可行的充要条件是其所有状态的延迟步数均为τ。     

建立在模糊逻辑上的模糊元胞自动机

总结了经典元胞自动机模型理论,并在此基础上把模糊逻辑引入元胞自动机模型中.通过对模糊元胞自动机的基本原理的分析,定义了模糊元胞自动机模型.模糊元胞自动机模型可以处理模糊信息,并且使模拟与现实世界的情况更为接近.     

幺半环上几类模糊自动机的关系

给出了幺半环上非确定的模糊自动机和确定的模糊自动机及其语言的定义,证明了幺半环上三类非确定的模糊自动机间的等价性和三类确定的模糊自动机间的等价性,讨论了幺半环上三类非确定的模糊自动机和第四类非确定的模糊自动机之间的关系,以及幺半环上非确定的模糊自动机和确定的模糊自动机之间的关系.     

循环模糊有限自动机的同态性质

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

最小化基于合成模糊变换的模糊自动机

经过重新定义模糊自动机,使得模糊自动机的识别过程与一个合成模糊变换(CF变换)一致,而且得到了尊重合成模糊变换的最粗分类即为状态集的最粗等价分类这一重要结论.在对尊重合成模糊变换的最粗分类的讨论中,给出了找到尊重合成模糊变换的最粗分类的有限步算法,亦即状态集的最粗等价分类和最小化模糊自动机的算法.该算法不仅给出了最长运算时间,而且还给出可终止算法的条件,使得运算更为可行和简便.     

两类循环模糊自动机的弱等价性

定义循环模糊自动机和循环模糊有限状态自动机,并讨论了这两类循环模糊自动机的弱等价性.     

幺半环上模糊有限状态自动机积的覆盖关系

提出了幺半环上模糊有限状态自动机的各种乘积以及覆盖的定义,并得到了一些性质.证明了直积、级联积、圈积三种乘积以及和之间的覆盖关系,得到了乘积自动机、和自动机覆盖关系的一些代数性质.     

模糊无限状态自动机及其收敛性

到目前为止,我们所研究的模糊或非模糊的自动机都是有限状态自动机.然而,关于无限状态自动机的定义及它的稳定性和收敛性都没有被讨论过.本文中,我们使用离散的反馈神经网络及网络输出空间划分方法,同时,在梯度更新算法中使用伪梯度方法,给出了模糊无限状态自动机收敛到模糊有限状态自动机的证明.     

Fuzzy有理语言与Fuzzy有限态自动机的关系

引入了fuzzy有理语言的概念,得到了∑+的子集可识别当且仅当有理的.从而揭示了fuzzy有理语言与fuzzy有限态自动机语言的关系.     

Intuitionistic Fuzzy Automaton for Approximate String Matching

This paper introduces an intuitionistic fuzzy automaton model for computing the similarity between pairs of strings. The model details the possible edit operations needed to transform any input (observed) string into a target (pattern) string by providing a membership and non-membership value between them. In the end, an algorithm is given for approximate string matching and the proposed model computes the similarity and dissimilarity between the pair of strings leading to better approximation.     

Automaton barriers

An upper bound for the minimal length of words which can be obtained at the output of an automaton with binary input and output alphabets is improved.     

关于强可逆半准素序半群

把由G．Thierrin和A．Spoletini-Cherubini等人定义并研究的强可逆半群以及由S．Bogdanovic研究的半准素半群分别推广为强可逆序半群和半准素序半群．分别给出了半准素序半群和强可逆序半群类中的半准素序半群的刻划，还给出了其所有理想是素理想的强可逆序半群的刻划．     

On Fuzzy Simplex and Fuzzy Convex Hull

In this paper,we discuss fuzzy simplex and fuzzy convex hull,and give several representation theorems for fuzzy simplex and fuzzy convex hull.In addition,by giving a new characterization theorem of fuzzy convex hull,we improve some known results about fuzzy convex hull.