非确定型有穷自动机的极小化

利用自动机状态集上的等价关系对自动机的状态集进行极小化, 从而得到与原自动机功能等价的极小化自动机. 通过两台确定型有穷自动机（DFA）的连接, 构造一台非确定型有穷自动机（NFA）. 利用这两台确定型有穷自动机状态集上的等价关系, 可以构造这台非确定型有穷自动机状态集上的等价关系, 从而对这台非确定型有穷自动机进行极小化. 结果表明这台非确定型有穷自动机的极小化自动机的状态复杂 度, 不大于对那两台确定型有穷自动机的极小化自动机进行连接得到的非确定型有穷自动机的状态复杂度; 并且自动机在等价关系基础上进行极小化时不改变识别语言.     

一种非确定型有穷自动机的极小化方法

自动机状态极小化是寻求状态数较少的自动机,使其与原自动机接受相同的语言．确定型有穷状态自动机（DFA）极小化问题在平方时间内可解,通过状态集上引入等价关系导出的商自动机即为接受相同正则语言的极小化自动机．而非确定型有穷状态自动机（NFA）极小化问题尚未找到有效算法．尽管NFA可以转化为DFA且接受的语言不变,但可能会出现状态数指数级增加．从语言B可以构造一个接受自己的子语言自动机,同态压缩映射子语言自动机为最终系统,从而为接受语言B的极小化自动机．     

基于前序关系的非确定型有穷自动机极小化算法

为了减少非确定型有穷自动机(non-deterministic finite automata,NFA)的状态数,引入前序关系,并以图论为工具,将NFA的转移图看作一个带有标记的有向图,给出了NFA极小化的一个新方法。与现行的利用归并等价状态来极小化NFA的算法相比,该方法可以使得NFA在接受语言的能力等价的前提下,状态数得到进一步的减少。     

确定有穷状态自动机最小化算法的三点说明

确定有穷状态自动机最小化可提高词法分析程序的效率.本文简述了最小化的概念、算法,从基本概念出发分析了该算法初始分划如何构造,及在状态无后继和全部由终止状态构成时这两种特殊情况下的解决对策,并对原算法做了进一步的细化.     

连接型自动机的极小化及其复杂性

通过定义确定型有穷自动机在状态集上的等价关系,可以构造一类非确定型有穷自动机在状态集上的等价关系,利用这个等价关系可以对这类非确定型有穷自动机进行极小化。     

基于KMP算法的确定型有穷自动机的设计

运用KMP算法的思想生成确定型有穷自动机的转移函数，使得确定型有穷自动机可以接受以输入串（以0和1组成）为子串的任意字符串。     

关于概率自动机的等价性与极小化问题

本文给出了两概率自动机按顺序初始等价的充要条件,证明了初始等价的概率自动机的基矩阵秩必相等及判定极限极小概率自动机的一个充要条件.同时也更正了[1]中的一个错误。     

量子自动机的格同态

给出了量子自动机的格上同态、子格、理想、同构嵌入的定义,并且研究了量子自动机的格上同态、子格、理想的性质,同时讨论了量子自动机的格上子格、理想与同态之间的关系,得出了量子自动机的格的一些性质.     

汉字有穷自动机的优化及相关算法研究

在研究了汉字有穷自动机可以表示的语言基础上,引进了最小状态汉字有穷自动机和可区分状态的概念,并利用汉字有穷自动机间的等价性和可区分状态的性质,给出了一种最小化算法,实验证明,此算法优于最小化汉字有穷自动机算法.     

非确定模糊有穷自动机的ε-语言逼近

在max-?复合推理下引入了非确定模糊有穷自动机的概念,其中?是t-模运算.为了比较2个非确定模糊有穷自动机的行为,借助于[0,1]上的一个实数 ε,定义了2种ε-语言逼近,讨论了它们之间的关系.证明了非确定模糊有穷自动机和模糊有穷自动机之间是0-弱语言逼近的,即二者可以接受相同的模糊语言.此外,还讨论了2种ε-语言逼...     

LF商环的同态

引入了ＬＦ商环的概念,研究了ＬＦ商环同态的性质,得到了一系列同态定理,这些结论类似于经曲的环论结果．     

群的基本同态定理的应用

群的基本同态定理是群论研究中最常见、最有价值的结论之一．该文就该定理在群直积和内同构等方面的应用进行了讨论并得到了一些有意义的结果．     

代数系统的同态与同构

代数学中极为重要又较为初等的概念就是同态，文章给出了不同代数系统的同态成为同构的条件，其中有些结论在通常文献中未曾出现，是对通常文献的补充。     

环的Fuzzy同态

在群的Ｆｕｚｚｙ同态的基础上定义了环的Ｆｕｚｚｙ同态,得到了环的依赖于λ的同态定理和有单位元环上的Ｆｕｚｚｙ同态基本定理,并指出Ｆｕｚｚｙ－子环（理想）在Ｆｕｚｚｙ同态下亦为Ｆｕｚｚｙ子环（理想）。     

半环的星同态

本文引入了半环的星元素、星理想、星同余、星同态等概念,得到了半环的星同态的一些重要性质.     

序S-系同态定理

通过序S-系的拟序给出序同余的刻画,类似于序半群的情形,给出了序S-系的同态基本定理.     

超图的同态和着色

目的给出了超图同态及分数着色的定义,推广了Chris Godsil等人关于图的着色的一些结论（Chris Godsil,Gordon Royle．Algebraic Graph Theory．北京：世界图书出版公司,2004．）。方法利用代数方法研究超图的着色问题。结果利用超图的同态对图论中的经典问题一超图的着色进行了研究,得到了超图的色数及分数色数的一些结论。结论利用代数方法研究超图的着色问题具有重要的理论意义。．     

半代数及其同态

提出了基于半环上半代数的概念，讨论了相关的性质．利用半代数的同余来讨论半代数的同态定理及其第一，第二同构定理。     

关于半模同态的分解

在核与象的不同定义条件下,对半模同态通过满同态或单同态分解的问题进行了讨论,给出了几个半模同态的分解定理,推广了环模的相应结果.     

关于U-neat同态

给定一个左Ｒ－模Ｕ,引进Ｕ－ｎｅａｔ同态概念,并给出了Ｕ－ｎｅａｔ的若干等价条件,这些条件推广了Ｇｏｌａｎ的若干结果。