共查询到20条相似文献,搜索用时 134 毫秒
1.
2.
格值Mealy自动机的同余和同态 总被引:1,自引:0,他引:1
提出格值Mealy自动机的概念,从代数角度出发详细研究此类自动机的性质,同时研究此类自动机的同余和同态,揭示此类自动机的代数性质和取值格半群的紧密联系,最终研究格值Mealy自动机的极小化,给出可在有限步实现极小化的算法. 相似文献
3.
研究了概率有限自动机的同态(弱同态)、有效划分等代数性质.首先,提出了完全的、不可约的概率有限自动机,概率有限自动机的并积等概念.然后,讨论了两个概率有限自动机的级联积、圈积、并积的有效划分与其因子的有效划分之间的关系,证明了在一定条件下两个概率有限自动机的级联积(并积)的商概率有限自动机与其因子的商概率有限自动机的级联积(并积)是相等的.最后,得到了概率有限自动机的极大有效划分的一个刻画. 相似文献
4.
5.
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
本文在文[1]已引入幂格同态概念的基础上,进一步引入幂格同余关系的概念,并得到它们的一些相关性质.以及幂格同态与幂格同余关系的对应关系. 相似文献
16.
定义了集合范畴上的超滤函子F_u(-),并研究了相关性质.包括函子F_u(-)在有限集上保拉回,一个集合的子集成为F_u-子余代数的充要条件,以及两个余代数之间的态射是F_u-余代数同态的充要条件,子集成为子余代数的充要条件,最后以拓扑空间作为F_u-余代数的具体实例,研究了拓扑空间的连续映射与超滤函子的余代数同态之间的关系. 相似文献
17.
给出Fuzzy粗糙半群与Fuzzy粗糙同态的定义,并讨论Fuzzy粗糙半群的Fuzzy粗糙同态与Fuzzy粗糙商半群的Fuzzy粗糙同构。 相似文献
18.
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… 相似文献