共查询到20条相似文献,搜索用时 328 毫秒
1.
2.
3.
本文研究了格值有限状态自动机(LFSA)的同态和强同态及其性质.利用强同态概念,在格值有限状态自动机的状态集上建立了一种等价关系,得到了格值有限状态自动机的商自动机,证明了商自动机与强同态像自动机同构. 相似文献
4.
研究了概率有限自动机的同态(弱同态)、有效划分等代数性质.首先,提出了完全的、不可约的概率有限自动机,概率有限自动机的并积等概念.然后,讨论了两个概率有限自动机的级联积、圈积、并积的有效划分与其因子的有效划分之间的关系,证明了在一定条件下两个概率有限自动机的级联积(并积)的商概率有限自动机与其因子的商概率有限自动机的级联积(并积)是相等的.最后,得到了概率有限自动机的极大有效划分的一个刻画. 相似文献
5.
在矩阵理论框架下,引入了模糊有限自动机转移矩阵,变换矩阵半群以及覆盖概念.定义了模糊有限自动机Kronecker积,讨论了其转移矩阵性质及变换矩阵半群间的覆盖关系. 相似文献
6.
提出取值为格半群的Mealy格值有限自动机的概念,进而得到基于模糊字符串的Mealy格值有限自动机的扩张模型,并较详细讨论了其性质. 同时定义了扩张的完备Mealy格值有限自动机的行为矩阵, 在此基础上给出了其最小化算法. 相似文献
7.
将模糊自动机的同态、完全、容许关系等概念引入到模糊树自动机中,从代数的角度研究模糊树自动机的一些代数性质,并探讨了模糊树自动机的语言的相关问题. 相似文献
8.
9.
10.
到目前为止,我们所研究的模糊或非模糊的自动机都是有限状态自动机.然而,关于无限状态自动机的定义及它的稳定性和收敛性都没有被讨论过.本文中,我们使用离散的反馈神经网络及网络输出空间划分方法,同时,在梯度更新算法中使用伪梯度方法,给出了模糊无限状态自动机收敛到模糊有限状态自动机的证明. 相似文献
11.
对Mealy-型模糊有限自动机乘积结构作了进一步的研究,并且对覆盖关系作了细致的刻画,推广了原有的覆盖概念.针对Mealy-型这类模糊有限自动机,通过性质考察了此覆盖概念的合理有效性,新的覆盖概念在乘积自动机间建立了更多的联系.特别证明了直积、级联积、圈积三种乘积之间的覆盖关系.得到了一些乘积自动机覆盖关系的传递性质. 相似文献
12.
模糊自动机的强连通性及群自动机 总被引:1,自引:0,他引:1
为了更好地研究模糊自动机的结构和性质,采用代数的方法,在传统的模糊有限状态自动机的基础上,通过定义状态集合为代数群的自动机,讨论了这一类自动机的连通性和正则性,这丰富了模糊自动机理论. 相似文献
13.
双极模糊有限状态机的代数刻画 总被引:1,自引:0,他引:1
利用双极模糊集的定义,提出了完全的,循环的,强连通的,可恢复的双极模糊有限状态机,双极模糊有限状态机的子机的概念。讨论了双极模糊有限状态机在同态作用下的一些性质,刻画了强连通的与可恢复的双极模糊有限状态机的性质。 相似文献
14.
自动机是理论计算机的一个重要的研究内容.模糊Rabin自动机和模糊Game自动机是经典自动机的延续,给出了模糊Rabin自动机和模糊Game自动机的相关定义,讨论各自的内在性质,并得到了二者的等价关系.这进一步丰富了模糊自动机理论. 相似文献
15.
模糊有限自动机两个算子的若干性质 总被引:1,自引:1,他引:0
在文[1]定义了模糊有限自动机的bifuzzy seccessor算子和bifuzzy source算子的基础上,着重研究它们之间的基本性质及关系,并得到几个重要的性质定理。 相似文献
16.
《数学的实践与认识》2013,(22)
提出了幺半环上模糊有限状态自动机的各种乘积以及覆盖的定义,并得到了一些性质.证明了直积、级联积、圈积三种乘积以及和之间的覆盖关系,得到了乘积自动机、和自动机覆盖关系的一些代数性质. 相似文献
17.
经过重新定义模糊自动机,使得模糊自动机的识别过程与一个合成模糊变换(CF变换)一致,而且得到了尊重合成模糊变换的最粗分类即为状态集的最粗等价分类这一重要结论.在对尊重合成模糊变换的最粗分类的讨论中,给出了找到尊重合成模糊变换的最粗分类的有限步算法,亦即状态集的最粗等价分类和最小化模糊自动机的算法.该算法不仅给出了最长运算时间,而且还给出可终止算法的条件,使得运算更为可行和简便. 相似文献
18.
19.