下推格值自动机词的计算

在格半群意义下,提出基于词计算的下推格值自动机模型,它的输入是输入字母表的模糊子集,即词串,对应的是具有模糊性的自然语言.并研究下推格值自动机识别的格值词语言,利用格半群的性质证明了下推格值自动机基于词的计算可以通过基于值的计算实现.     

格值直觉模糊有限自动机的直积与覆盖

给出了格值直觉模糊有限自动机,格值直觉模糊有限自动机的全直积、限制直积以及覆盖的定义,提出了格值直觉模糊有限自动机的状态转移函数可扩充的充要条件,研究了格值直觉模糊有限自动机在全直积和限制直积情形下的转移函数性质,讨论了格值直觉模糊有限自动机的全直积和限制直积的覆盖关系,得到了一些乘积自动机覆盖关系的传递性质,为进一步研究格值直觉模糊有限自动机奠定了基础.     

乘法半群(S,·)为矩形群的双半环

本文研究了(S,+)半群为半格、(S,·)半群为矩形群、(S,*)半群为半格的双半环。从双半环的两个子集出发构造两个偏序关系,得到了双半环的(S,·)半群上的Green-■关系■是双半环同余的一个充要条件,并给出了■是双半环同余的等价命题。     

偏序半群中的最小滤子

给出了偏序半群中最小滤子的构造 ,以及几种特殊的偏序半群 ,其中的最小滤子有简单的形式 ,给出了偏序半群上最小半格同余 n与最小正则半格同余 N相等的一个充分必要条件 ,并提出一个问题 ,即 Nm( x) =Nm( x)是否为 n =N的必要条件     

正则半群上的Amenable偏序关系

给出了正则半群上Amenable偏序的一些刻画;证明了正则半群S上能够装有Amenable偏序当且仅当S是局部逆半群;完整地描述了完全正则半群上的Amenable偏序;证明了具有逆断面的广义逆半群上的Amenable偏序可被其逆断面上的Amenable偏序所唯一确定.     

关于一类半环的性质

设(S, ,·)是乘法半群为正规纯整群、加法半群为半格的半环.从S的乘法半群的子半群出发,构造偏序关系,得到了乘法半群在该偏序下是偏序半群.若所构造偏序与加法半群的自然偏序一致,则该半环的乘法半群一定是Clifford半群.     

上半格amenable偏序逆半群

给出了上半格右amenable偏序逆半群的等价刻画．若（S,V,·,≤）为上半格左amenable偏序逆半群,则≤是amenable偏序并且（S,·）是Clifford半群。     

乘法半群为矩形群的半环的性质

研究了加法半群为半格、乘法半群为矩形群的半环。从半环的子集出发构造偏序关系,得到了半环的乘法半群上的日关系是半环同余的一个刻划。即如果半环的乘法幂等元集合是单演双半格,且加法半群土的自然偏序和所构造的乘法半群上的偏序相等,则H设半环同余,并给出了日是半环同余的等价命题。最后,证明了该半环上的Greenl-关系为其幂等元集合上的同余。     

乘法半群为矩形群的半环

研究了加法半群为半格、乘法半群为矩形群的半环．从半环的子集出发构造偏序关系,得到了半环的乘法半群上的Green-H关系H是半环同余的一个充分条件,即如果半环的加法半群上的自然偏序与所构造的乘法半群上的偏序相等,则H是半环同余,并给出了H为半环同余的等价命题．     

超富足半群上的偏序

定义了超富足半群上的偏序≤l,≤r及≤,并对在这些偏序下超富足半群S的一些性质进行讨论;在此基础上证明了≤l关于S上的乘法是相容的,当且仅当S为局部C-a半群。     

关于偏序■-半群的(m,n)拟理想

引入序■-半群的(m,n)拟理想、m-左理想、n-右理想的概念,给出它们的生成的表示;证明了序■-半群上任何(m,n)拟理想可以分解为一个m-左理想和一个n-右理想的交,且任何一个极小的(m,n)拟理想可以分解为一个极小m-左理想和一个极小n-右理想的交;给出了(m,n)拟单偏序■-半群的刻画和偏序■-半群拟理想、左理想和右理想的刻画.     

加权有限自动机的幺半群

讨论了加权有限自动机的变换幺半群,并通过加权有限自动机的同余关系,提出了语法幺半群的概念,给出了语法幺半群有限的条件,并建立了变换幺半群与语法幺半群之间的关系。最后讨论了加权有限自动机的转移幺半群。     

自然偏序和局部拟适当半群(英文)

定义了富足半群上一个自然偏序 e≤,给出研究了自然偏序 e≤的性质,证明了:富足半群S是幂等元连通的局部拟适当半群当且仅当e=≤≤,丰富和推广了Lawson的局部半群的相关结果.     

关于局部左正则密码群并半群的等价表述

在对局部左正则密码群并半群的若干研究中,给出了两个关于偏序关系的等价刻画,证明了完全正则半群S是一个局部左正则密码群并半群当且仅当H1=≤或H2=≤.     

fair偏序半群的Morita等价

设S是满足WRDP的右fair偏序半群且U(S)具有公共弱右局部单位.本文首先介绍了fair偏序半群的一些基本概念和结论,然后给出了这类半群的U(S)的性质,并证明了两半群的酉右S-偏序范畴等价当且仅当两半群闭的右S-偏序范畴等价.最后给出了这类半群Morita等价的等价刻画.     

乘法半群(S,·)是逆半群的双半环

本文研究了(S,+)半群为半格、(S,·)半群为逆半群、(S,*)半群为半格的双半环, 利用加法半群(S,+)、乘法半群(S,·)和乘法半群(S,*)上的偏序以及三者之间的关系, 给出了该类双半环成为分配格的几个等价命题。     

半格序完全正则周期半群

通过研究半格序完全正则周期半群,证明了半格序完全正则周期半群的乘法导出一定是正则纯正密码群。运用偏序关系,给出了半格序完全正则周期半群是半格序正则带和分配格的等价刻画。     

完全正则半群上的一些偏序关系

用完全正则半群上的一些偏序关系刻画密码群和正规密码群 .证明了完全正则半群S是密码群当且仅当S =≤而S是正规密码群当且仅当C=S .     

幺半群-矩阵型自动机的商自动机

本文从两个幺半群之间的同态出发,构造(n,S)-自动机之间的满同态,得到自动机的同余关系,进一步,在状态集的商集上,重新构造新的自动机(即所谓商自动机),并阐述了所构造的自动机与满同态所对应的自动机是同构的.在此基础上,引入(n,S)-自动机上的所谓的■和■关系,证明了这两个关系是可交换的.     

右逆半群上的一类偏序关系

引入了右逆半群的自共轭强全子半群和局部极大锥形的概念.由自共轭强全子半群出发,构造出了右逆半群上的一种偏序关系,并由此给出了右逆半群上的自然偏序的新刻画.