1) double lattice-ordered semigroup
双格半群
1.
The class of Boole Algebra is a true subclass of the double lattice-ordered semigroup.
指出Boole代数类是双格半群类的真子类;有限Boole代数类是F 格半群类的真子类;当格群是Boole代数时,该格群一定是平凡的,同时给出一个双格半群(S, ,≤)是Boole代数的充要条件是:1 0∈S, x∈S,0≤x,0 x=x 0=x;2 x,y∈S,(x⊙y) x=x;3 x∈S, x′∈S,x⊙x′=x;4 x,y,z∈S,x y=x z,x⊙y=x⊙z x=y。
2) Semi-lattice/Clifford-semigroups
半格/Clifford-半群
4) Lattice-ordered monoid
格半群
1.
The main results indicate that the algebraic properties of Lattice-valued fuzzy finite automata has close connections to the algebraic properties of Lattice-ordered monoids which machines take value in.
给出了格值自动机的同余和同态,从代数角度出发详细研究了同余和同态关系的代数性质,揭示了格值自动机的代数性质和取值格半群的紧密联系,利用同余和同态关系最终研究了格值自动机的极小化问题,在正则同余下给出了可在有限步实现具有模糊初始状态和特殊模糊终状态的自动机极小化的算法。
2.
The concept of lattice-valued finite automata is formulated,its properties and homomorphism are detailedly studied,and close link between it and the algebraic properties of lattice-ordered monoid which these automata take values are disclosed,and many important results are obtained.
提出了格值有限自动的概念,详细地研究了它的性质和它的同态性,揭示了此类自动机和取值格为格半群的代数性质的紧密联系,得到了许多重要结果。
3.
The concept of complete L-Fuzzy matrix is proposed,the definition of fuzzy finite automata based on lattice-ordered monoid is formulated,i.
引入了完备L-Fuzzy矩阵的概念,给出了基于格半群的模糊有限自动机的形式化定义,即完备格值有限自动机,研究了它的主要性质;给出了完备格值有限自动机的行为矩阵,从行为矩阵出发,给出了自动机状态等价和自动机等价的定义。
5) lattice monoid
格半群
1.
Furthermore,the equivalence of the two methods is proved using algebraic properties of lattice monoid and theory of automata.
在格半群框架下,针对下推格值自动机模型的特点,提出其两种接受词语言的方式,并利用格半群的代数性质和自动机理论,证明了这两种方式接受词语言的等价性。
6) group semilattic
群半格
1.
At the end of this argument,a conclution has been reached that it is a group semilattic in use of Green relation,ie, a Clifford semigroup.
利用格林关系得出了高斯整环商环的乘法半群结构是群半格,即clifford半群。
补充资料：双循环半群
双循环半群
bicydic semi - group
群的幕等元(i dempotent)形成一个链，它按一正数的类型排序双循环半群是双单的，见单半群(slmPlc弧皿-gn〕uP) 双循环半群常出现在半群理论的研究中，不仪作为某种重要的半群类的代表，而且也作为确定单个半群结构的“建筑块”例如，对个O一单的，但非完全O一单的半群S的任何幂等元e，在S中存在一个包含e作为单位元素的双循环子半群(见11] 27段).前面定义中的双循环半群B的元素“和b分别是它的左和右乘元(multiPlying elements)生即在B中存在真户集X和Y使aX二B，扑=B)而且在有单位元素的书群S中，元素c是左乘元，当且仅当S包含一个双循环半群，它的单位元素与。一致.相似的定理对右乘屯也成立，从而.5有左乘元当且仅当它也有右乘元双循环半群1 bi。吐ic哭mi一g阴p:。皿~一no-‘聊p刃.a} 具有单位元和两个生成元a，b并服从单个生成关系ab二1的半群双循环半群的一个实现是D。以。图乘方NxN，其中N是非负整数集，运算是(k、l)*了用，n)二(儿十用一曲n(l.胡少l一十刀一mln(乙川))，双循环半群是逆半群(inversion semi一group)且是单簿的(mono罗nic).即由单个元素生成的.双循环半
说明：补充资料仅用于学习参考，请勿用于其它任何用途。
参考词条