模糊有穷自动机的互模拟关系

互模拟是离散事件系统中的一个等价关系,它已经应用到概率、随机和加权自动机中.本文给出模糊有穷自动机(FFA)前向互模拟关系和后向互模拟关系的定义,并给出它们的一些性质,证明前向和后向互模拟关系对于模糊有穷自动机(FFA)的一些运算(并,连接,交)和模糊正则语言的表现定理是封闭的.另外文中还给出一个可在有限步计算极大前向互模拟关系的算法,最后指出前向和后向互模拟之间的区别.     

通用模糊自动机

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

可逆模糊自动机

首先提出了可逆模糊自动机的概念,研究了能被可逆模糊自动机接受的语言(简记为F(∑))的一些性质.其次给出了自由群上被可逆模糊自动机接受的模糊子集的概念,详细研究了可逆模糊语言与经典可逆语言的关系.最后,通过引入语法幺半群刻画了F(∑)的代数性质.通过这些性质可以有效的判断一个模糊语言是否能被一个可逆模糊自动机接受.     

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

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

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

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

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

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

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

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

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

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

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

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

关于模糊拓扑环的直积

给出模糊拓扑环族直积的定义,研究它的性质,及任意模糊拓扑环族直积、与其模糊拓扑子环,与其模糊拓扑剩余环之间的同构问题.并对(QU)型模糊拓扑环关于上述问题进行研究.