取值于赋值幺半群的加权下推自动机的代数性质

引入取值于赋值幺半群的加权下推自动机、标准型加权下推自动机的定义,证明了在双幺赋值幺半群框架下,加权下推自动机与标准型加权下推自动机相互等价,且以终态方式与以空栈方式识别语言的加权下推自动机能够识别相同的形式幂级数;在Cauchy双幺赋值幺半群上,加权上下文无关语言对于和、连接、正克林闭包运算封闭。结果表明加权下推自动机的诸多性质并不依赖于赋值幺半群的分配律和结合律。     

幺半群-矩阵型自动机的自同态幺半群

基于对循环交换自动机的特征幺半群的研究,给出了幺半群-矩阵型自动机的一个刻画,同时讨论了幺半群-矩阵型自动机的输入集和幺半群的生成元集之间的关系,将群-矩阵型自动机的结论推广到幺半群-矩阵型自动机.     

有限可换幺半群的一个商群

关于“群”有各种各样的定义,本文给出了有限幺半群成为群的一个条件。并对有限可换幺半群进行了讨论,通过对它的商集的研究,建立了有限可换幺半群与有限可换幺群之间的联系,从而揭示了有限可换幺半群的构造。     

半群语言与正规语言

利用三元关系定义半群语言(半群的子集),初步讨论了半群语言的代数性质,然后证明了非空有限集合∑上的自由半群∑*的半群语言类与有穷状态自动机所接受的正规语言类是一致的。     

生成非Cross簇的最小幺半群

一个幺半群簇是一个在同态像、子幺半群和任意直积运算下封闭的幺半群类.一个有限生成的、有限基的且包含有限多个子簇的幺半群簇称作Cross幺半群簇.证明了5阶幺半群M5生成一个非Cross幺半群簇.通过逐个验证,在同构和反同构意义下,除M5外的所有阶数小于等于5的幺半群都生成Cross幺半群簇.在同构和反同构意义下,M5是生成非Cross幺半群簇的唯一最小幺半群.     

有限幺半群的构造(Ⅴ)

本文在幺半群上定义共轭关系,使得古典群论的一些基本定理得到推广,并给出具挠性的幺半群在有限生成集是个正规集时,Burnside Problems的明确答案。     

8-图的自同态幺半群

研究了8-图的正则自同态幺半群的代数结构,确定了正则自同态幺半群的Green关系以及相关的计数问题.讨论了8-图的自同态幺半群的完全正则性.     

正则End(C_n)的格林关系

研究了圈的正则自同态幺半群的格林关系,刻画了圈的正则D-类图,并讨论了一些相关的计数问题.同时也确定了圈的自同态幺半群的完全正则性.     

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

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

图的自同态幺半群的格林关系

考虑图的自同态幺半群。关于正则元，对它们的格林关系给出了刻划；关于一般元素，得到树的自同态幺半群的关系，最后还讨论了这类半群的正则类和极大子群。     

关于非交换幺半群的局部化

局部化是交换代数中的一个重要工具,[1]中将局部化推广到交换幺半群中。本文将局部化又进一步推广到非交换幺半群中,证明了非交换幺半群在它的中心子幺半群的局部化的存在唯一性,并讨论了非交换幺半群的局部化的若干性质。     

同步链与纯正非同步半群

通过合理转化自动机与变换半群的定义提出同步链的概念,证明了一些类型的变换半群满足Cerny猜想,并部分刻画了一类不满足Cerny猜想的变换半群,即纯正非同步半群.     

伪T模L-Fzzy正则半群

在半群上伪T模L-Fuzzy半群基础上,给出了半群上伪T模L-Fuzzy幺半群的概念,以及一个伪T模L-Fuzzy集成为伪T模L-Fuzzy幺半群的条件,并得到了伪T模L-Fuzzy幺半群的一个性质,在F-zzy正则半群基础上给出了伪T模L-Fuzzy正则半群的概念,伪T模L-Fuzzy内正则半群的概念,并讨论了它们的一些性质.     

关于正则系是弱内射系的幺半群

设S是幺半群。 研究了所有正则右S-系是弱内射系的幺半群的特征,纠正了Moon给出的错误结论, 并讨论了正则系是fgdu-弱内射S-系的幺半群的等价刻画。     

伪T模L-Fuzzy正则半群

在半群上伪T模L-Fuzzy半群基础上,给出了半群上伪T模L-Fuzzy幺半群的概念,以及一个伪T模L-Fuzzy集成为伪T模L-Fuzzy幺半群的条件,并得到了伪T模L-Fuzzy幺半群的一个性质,在Fuzzy正则半群基础上给出了伪T模L-Fuzzy正则半群的概念,伪T模L-Fuzzy内正则半群的概念,并讨论了它们的一些性质.     

幺半环上一类有限状态自动机的约简性

对幺半环上确定型有限状态自动机及其约简性进行定义,得出两个状态是否可分的判定方法,证明了幺半环上任意一个有限状态自动机都与一个约简的自动机等价,并给出了一个具体可行的算法,最后举例验证了这一结果.     

Fuzzy有限状态机之半群

利用代数手段讨论Fuzzy有限状态机的同余问题,由Fuzzy变换半群的关系,得到了Fuzzy有限状态机中的两种同余关系和相关结果。     

格值模糊自动机及对应语言的分级

为了探讨格值模糊自动机等价的条件,采用对偏序格半群加以限制的方法,将格值模糊有限自动机划分为确定的、序列型的、无歧义的、有限歧义以及无限歧义自动机这几种不同的类型,得到这几类自动机接受语言之间的关系为L-DFA■L-Seq■L-NAmb■L-FAmb■L-Reg;当偏序格半群非局部有限时,关系为L-DFAL-SeqL-NAmbL-FAmbL-Reg;当偏序格半群局部有限时,关系为L-DFA=L-Seq=L-NAmb=L-FAmb=L-Reg.     

半群SPOn的极大正则子半群

设SPOn是有限链Xn={1,2,3,…,n）上的严格保序部分变换半群．该文利用格林关系讨论了SPOn的极大正则子半群,确定了sPOn的所有极大正则子半群．     

带可消幺断面富足半群上的同余

介绍了带可消幺半群断面富足半群的结构.讨论了带可消幺半群断面富足半群上的同余,群同余,弱可消同余.利用断面上的同余给出它们的刻画,揭示了S0上同余与S上同余的关系.