DNA正则语言与DNA正则文法的对应关系

以生物学的相关知识为背景,在国内外对DNA计算与DNA计算机研究的基础上,利用DNA分子链具有的Watson-Crick互补结构和其巨大的并行性这两大生物特征所呈现的数学特征,在经典自动机的基础上定义了DNA自动机、DNA正则语言及DNA正则文法,并证明DNA正则语言与DNA正则文法的对应关系.     

Fuzzy正则语言与Fuzzy正则文法的关系

通过对Fuzzy正则语言与Fuzzy正则文法的关系的讨论,得到了二者的等价关系,这是进一步研究Fuzzy正则语言与Fuzzy有限状态自动机的一个起点。     

有限自动机正则化方法研究

有限自动机正则化是编译中的重要技术,文章针对现有有限自动机正则化方法的不足,分析了有限自动机正则化的本质,提出了一个新的有限自动机正则化方法。这个新的方法具有通用的特点。     

一类特殊形式的Fuzzy正则语言注记

对一类特殊形式的Fuzzy正则语言作了一定的讨论,得到了两个重要定理,为进一步研究Fuzzy正则语言与Fuzzy有限状态自动机的关系奠定了基础．     

正则语言的可递归性

根据可计算理论,形式语言的递归性是计算机产生和识别形式语言的基础.从正则语言识别的角度证明了正则语言的识别系统确定有限自动机所识别的语言集是一个递归可枚举集,同时讨论了正则语言的可递归性.有助于进一步研究正则语言的自动产生机制.     

正则语言的可递归性

根据可计算理论,形式语言的递归性是计算机产生和识别形式语言的基础。从正则语言识别的角度证明了正则语言的识别系统确定有限自动机所识别的语言集是一个递归可枚举集,同时讨论了正则语言的可递归性。有助于进一步研究正则语言的自动产生机制。     

Fuzzy正则语言注记

在形式语言和自动机理论研究中，Fuzzy语言显得特别重要，而Fuzzy正则语言是Fuzzy形式语言的核心部分，是自动机理论与实际相结合的一个桥梁。对Fuzzy正则语言的一些性质、Fuzzy有限状态自动机与Fuzzy正则语言间的关系进行了探讨。     

四正则图的自动生成及纵横嵌入的线性算法

刘彦佩教授论述的纵横嵌入术已为超大规模集成电路 (VLSI)的平面设计提供了较完备的理论体系 ,本文以此为依据建立的算法能自动生成任意点数的四正则图例 ,并对其进行双极定向和双极标数 ,进而画出其纵横嵌入图 .在对四正则图进行双极定向时 ,根据吸收规则的原理 ,设计了一种在计算机上易于实现的算法 ,该算法已成功地绘制了含有几个点及至近千个点的四正则图的纵横嵌入图 .     

Fuzzy正则语言的有限幂性质(II)

Fuzzy正则语方L具有有限幂性质的充分必要条件是集合{L^i|i=0,1,2……}有限，讨论了任意给定一个Fuzzy正则语言，决定此语言是否具有有限幂性质的算法的存在性问题。     

正则L半群上局部右逆半群的序定理特征

本文给出了Ｌ半群的定义的和一个例子，并且证明了在正则Ｌ半群上，≤＝≤ｅ，当且仅当这个半群是局部在逆半群，这≤和≤ｅ分别由Ｎａｍｂｏｏｒｉｐｒｅｄ；ｌａｗｓｏｎ给出。     

依存语法概述

依存语法是一种诞生于1959年的基于词间关系的形式语法,它强调以动词为句子中心,其他词汇依存于动词。依存语法具有形式简单、更适合于处理自由语序的语言、与语义关系接近等优势,使得其在处理汉语句子时具有优势。     

随机正则文法的相似

对于给定的随机正则文法G_8是否存在着一个真正随机正则文法G_8,使得L(G_8)=L(G_8),若存在,又如何求出G_8?本文在两个不同的但都不是十分严格的限制下,证明了Thompson方法是有效的,它不仅提供了一个从G_8求G_(?)的方法,而且还包括判断这样的G_8是否存在的判别准则,在此基础上,本文将随机文法等价的概念推广,提出了随机文法相似的概念,并证明了在受到上述相同限制的前提下,每一个随机正则文法G_8总有一个与之相似的真正随机正则文法G_8,其中相似系数由G_8本身唯一决定。     

DFSM简化过程的表达方法研究

文章讨论确定有限状态机(DFSM)简化过程的表示问题,指出传统的线性顺序法存在直观性差、层次不分明、难于理解的不足,提出简化树法,它具有直观、有效的特点。     

多级文法的构造及实现

从基于客户／服务器体系结构的分布式环境入手，引入基于三维文法表的多级文法，全面分析了多级文法的构造方法及实现，实现了接插式协议自动机的自动生成，最后，对多级文法的具体实现进行了讨论。     

Thompson结构的改进

Thompson结构状态个数太多，而且有太多的ε－转换，针对此缺点，讨论一个效率较高的改进方法。以避免这些缺点。     

面向网络流的自适应正则表达式分组匹配算法

针对当前的多正则表达式匹配算法占用较大的系统资源,且吞吐量较低的问题,在分析典型的正则表达式匹配算法的基础上,提出了一种自适应的多正则表达式分组匹配算法.该算法通过对正则表达式进行高效分组,将相互之间存在交叠且容易引起状态数指数增长的表达式相互隔离;将每个分组构造为一个确定性有限自动机(DFA),按匹配概率大小建立伸展树进行调度.仿真结果表明,该算法不仅大大节省了存储空间,而且吞吐量提高了大约3倍.     

关于规范变换及性质的研究

作者规范变换进行了较为系统的研究，明确地给出了规范变换的定义，研究了规范变换的性质，获得了两个重要定理，同时还给出了将规范矩阵对角化的具体计算方法。     

几种半群的正则并分解

本文讨论了右逆半群中Ｇｒｅｅｎ关系 关于正则并分解的性质，同时对于逆半群及一般的正则半群也进行了这方面的讨论，得到了较满意的结果。