有限自动机的等价性与路代数

定义了有限自动机路代数的一个右理想,用以判断有限自动机状态的等价性及判断两个有限自动机之间的等价性, 进而讨论循环有限自动机的等价性.     

词法分析器生成器的设计与实现

当构造词法分析器时,根据单词的正规式定义首先构造与正规式等价的NFA,之后用子集法将NFA转换成DFA,并用此DFA进行词法分析。对词法分析器生成器的设计算法进行了研究,即构造等价于给定正规式非确定有限自动机,并用一种高级语言(C语言)在计算机上实现。     

模糊袋自动机

引入了模糊袋自动机和模糊袋语言的概念,给出了模糊袋自动机的状态转换图,讨论了模糊袋语言重复序列在状态转换图的结构特征,给出了Chomsky文法模糊语言与模糊袋语言的关系．指出了模糊正规语言类、模糊袋语言类、模糊上下文有关语言类之间的包含关系,及模糊袋语言类与模糊上下文无关语言类交叉关系．     

特殊的上下文无关文法与有限自动机转换的并行处理

对特殊的上下文无关文法-非自嵌入上下文无关文法做了深入的分析,提出了一种从该文法到有限自动机的并行转换算法,以实例详细描述了算法并行处理的过程并验证了算法的可行性．     

BCI—代数的正规理想

本文引进了一般BCI-代数的正规理想的概念,主要讨论了由正规理想决定的等价类的性质。特别地,我们证明了对于正规理想,类似于有限群论中的Lagrange定理成立。此外,我们还讨论了正规理想同其它一些特殊理想之间的关系。     

C-正规子群的若干等价条件

c-正规子群和弱c-正规子群是有限群的两个重要的概念,这两个概念又有一些相似之处.通过c-正规子群与弱c-正规子群对有限群结构的影响,得出c-正规子群与弱c-正规子群等价的一些充分条件.     

格值自动机与格值正则文法

给出了格值文法的定义与分类，对格值正则文法与自动机的关系作了详细讨论，得出了两个重要的结论，即：由给定的格值正则文法可以构造一个格值自动机使二者接受的语言集相同；反之亦然．     

模糊上下文无关文法的判定定理

模糊上下文无关文法是几种重要文法之一.讨论了模糊上下文文法的判定定理.这为进一步讨论模糊上下文无关文法与模糊下推自动机奠定了基础.     

一种确定型有穷自动机的化简算法及其实现

有穷自动机的化简是一个十分重要的问题,在等价的前提下,自动机的状态越少,意味着越节省软件和硬件资源。本文根据等价性原理,在等价类等概念的基础上,给出了确定型有穷自动机的最小化算法,并给出了该算法的程序实现。     

一类双向模糊有穷自动机

给出经典双向有穷自动机的即时描述,接受（识别）的语言及双向有穷自动机和有穷自动机是等价的,证明它接受的语言是正则语言。由此,把它推广到模糊上去,相应地给出了双向模糊有穷自动机的定义,即时描述及其接受的语言,进一步证明非确定性双向模糊有穷自动机与确定双向模糊有穷自动机接受的语言是等价的。