首页 | 本学科首页   官方微博 | 高级检索  
相似文献
 共查询到20条相似文献,搜索用时 134 毫秒
1.
引入了格值模糊有限自动机的(强)同态的概念,研究了它们的相关性质,得出了同态基本定理。给出了A上容许关系及强同态的核的概念,研究了它们相关性质。  相似文献   

2.
格值Mealy自动机的同余和同态   总被引:1,自引:0,他引:1  
提出格值Mealy自动机的概念,从代数角度出发详细研究此类自动机的性质,同时研究此类自动机的同余和同态,揭示此类自动机的代数性质和取值格半群的紧密联系,最终研究格值Mealy自动机的极小化,给出可在有限步实现极小化的算法.  相似文献   

3.
研究了概率有限自动机的同态(弱同态)、有效划分等代数性质.首先,提出了完全的、不可约的概率有限自动机,概率有限自动机的并积等概念.然后,讨论了两个概率有限自动机的级联积、圈积、并积的有效划分与其因子的有效划分之间的关系,证明了在一定条件下两个概率有限自动机的级联积(并积)的商概率有限自动机与其因子的商概率有限自动机的级联积(并积)是相等的.最后,得到了概率有限自动机的极大有效划分的一个刻画.  相似文献   

4.
提出格值Moore机的概念,从代数角度出发详细研究此类自动机的性质,同时研究此类自动机的同余和同态,揭示此类自动机的代数性质和取值格半群的紧密联系,最终研究格值Moore机的极小化,给出可在有限步实现极小化的算法,并从理论上证明了得到的最小化格值Moore机与原格值Moore机等价。  相似文献   

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

6.
格值有限自动机的乘积   总被引:2,自引:2,他引:0  
初步建立了格值有限自动机的乘积理论.引入了格值变换半群,研究了格值有限自动机在各种乘积情形下的转移函数性质,讨论了各种乘积之间的覆盖关系,为进一步研究量子自动机的乘积理论奠定基础.  相似文献   

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

8.
从代数角度出发研究模糊树自动机的同余与同态,得出模糊树自动机的同态基本定理和同构基本定理,且对模糊树自动机的语言及模糊树自动机的极小化问题进行研究.  相似文献   

9.
加权有限自动机是处理不确定环境下的计算的一种通用数学模型.文章对加权有限自动机及其乘积的结构作了进一步的研究.引入了加权变换半群和商变换半群的概念,并依据半环自身的结构,给出了加权有限自动机诱导的商变换半群有限的条件.讨论了加权有限自动机在各种乘积情形下的状态转移函数的性质,并建立了加权有限自动机的乘积(级联积)与其对应的商变换半群之间的关系,为进一步研究加权有限自动机的结构奠定了基础.  相似文献   

10.
定义了循环模糊有限状态机M=(Q,X,μ)输入字集X*上的右同余关系,讨论了其等价类做成的半群E(M)的性质,及以该半群的子集为状态集的循环模糊有限状态机(M)与原循环模糊有限状态机M的同态关系,得出了在某些条件下,(M)与M是强同构的.  相似文献   

11.
Fuzzy代数与Fuzzy商代数   总被引:5,自引:0,他引:5  
本文更深入地讨论了Fuzzy代数,Fuzzy理想的性质,定义了Fuzzy商代数,并证明了代数Y关于代数Z的同态f-1[Oz]的Fuzzy商代数与代数Z同构等性质。  相似文献   

12.
群上同余     
本引进了群上同余的概念,得到了群上的等价关系为群上同余的一个充分必要条件,并讨论了群上同余与群上正规子群之间的关系以及群上同余与群上同态之间的关系.  相似文献   

13.
A partial order on the set of the prime knots can be defined by the existence of a surjective homomorphism between knot groups. In the previous paper, we determined the partial order in the knot table. In this paper, we prove that 31 and 41 are minimal elements. Further, we study which surjection a pair of a periodic knot and its quotient knot induces, and which surjection a degree one map can induce.  相似文献   

14.
15.
幂格的同态与同余关系   总被引:1,自引:1,他引:0  
明平华 《数学杂志》2004,24(1):79-83
本文在文[1]已引入幂格同态概念的基础上,进一步引入幂格同余关系的概念,并得到它们的一些相关性质.以及幂格同态与幂格同余关系的对应关系.  相似文献   

16.
定义了集合范畴上的超滤函子F_u(-),并研究了相关性质.包括函子F_u(-)在有限集上保拉回,一个集合的子集成为F_u-子余代数的充要条件,以及两个余代数之间的态射是F_u-余代数同态的充要条件,子集成为子余代数的充要条件,最后以拓扑空间作为F_u-余代数的具体实例,研究了拓扑空间的连续映射与超滤函子的余代数同态之间的关系.  相似文献   

17.
给出Fuzzy粗糙半群与Fuzzy粗糙同态的定义,并讨论Fuzzy粗糙半群的Fuzzy粗糙同态与Fuzzy粗糙商半群的Fuzzy粗糙同构。  相似文献   

18.
作为L-内射包络的应用,本文主要研究具有同构的L-内射包络的模之间的同态的若干性质.  相似文献   

19.
We study generalizations of the “contraction‐deletion” relation of the Tutte polynomial, and other similar simple operations, to other graph parameters. The question can be set in the framework of graph algebras introduced by Freedman at al [Reflection positivity, rank connectivity, and homomorphisms of graphs, J. Amer. Math. Soc. 20 (2007), 37–51.] Graph algebras are defined by a graph parameter, and they were introduced in order to study and characterize homomorphism functions. We prove that for homomorphism functions, these graph algebras have special elements called “contractors” and “connectors”. This gives a new characterization of homomorphism functions. © 2008 Wiley Periodicals, Inc. J Graph Theory 60: 11–30, 2009  相似文献   

20.
ImplicationfiltersderivefromModusPoenesRuleinlogic.Itisveryimportanttostudylatticeimplicationalgebrasandthecorrespondinglattice-valuedlogicsystem.Inordertoin-vestingatelatticeimplicationalgebrasfromtheviewofanalysis,implicationfilterspacehasbeenestab…  相似文献   

设为首页 | 免责声明 | 关于勤云 | 加入收藏

Copyright©北京勤云科技发展有限公司  京ICP备09084417号