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

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

一种DNA计算系统的有限自动机模型

通过一个实例给出了粘贴系统模型的基本定义，讨论了粘贴系统模型的正则文法特性，并从自动机的角度给出了相当于正则文法表达能力的有限自动机模型。     

格值正则文法及其语言的性质

给出了(确定)格值正则文法与(确定)格值正则语言的定义．从一个新的角度，即文法的角度研究确定格值正则语言关于正则运算的封闭性，从而完善了格值正则语言的运算性质，并给出了格值正则文法与确定格值正则文法等价的条件．     

基于粘贴系统的Watson-Crick正则文法及自动机

通过介绍DNA计算中的相关知识，利用DNA语言和粘贴模型及粘贴系统构造watson-crick正则文法，简单介绍TWatson-Crick自动机．     

正则语言非正则运算的封闭性

本文用构造的方法严格证明了识别正则语言三种非正则运算的确定型有穷自动机的存在性，进而得出正则语言类在非正则运算“∩”、“-”以及“ ”下的封闭性的结论，并具体给出识别三类语言运算的确定型有穷自动机模型．     

Fuzzy正则语言注记

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

正则式上右线性文法生成算法

本文旨在给出一种由正则式RE生成有限自动机再生成右线性文法的算法。     

随机正则文法的相似

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

正则语言的可递归性

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

正则语言的可递归性

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

含正则*-断面的正则半群

首先给出了含正则*断面的正则半群类的一些新性质,然后证明了正则半群的左(右)理想正则*断面是其强正则*断面.根据这些性质,通过两个含共同的强正则*断面S°的半群L和R以及相关映射给出了含拟理想正则*断面的正则半群类的一个新的结构定理,其中S°是L的左理想,是R的右理想.     

强正则带与完备正则带

引入了强正则带和完备正则带的概念,用强加细半格和完备加细半格分别对它们的结构加以描述,并且讨论它们之间以及它们与一般正则带、正规带之间的关系。     

正则模

引入一种新的模类,即正则模,讨论了正则模中的正则元和正则对的性质,给出了正则模中的正则元与幂等元的关系,并得到了模为正则模的充分必要条件的刻画.同时,对正则模的投射性、挠自由性与可除性等进行了研究.最后,给出了内射正则模的一些性质.     

LF拓扑空间的正则序同态和正则连续性

利用正则开(闭)集引入LF拓扑空间之间的几种正则序同态和几种正则连续性,并讨论了它们的性质及其相互关系.     

Fuzzy正则半群

本文中引入了半群的 Fuzzy 正则子半群、Fuzzy 弱正则子半群、Fuzzy 完全正则子半群和 Fuzzy 弱完全正则子半群等概念,并讨论了它们的一些代数特征.     

可裂正则带

本文讨论了可裂左正则带的一些性质。利用织积给出了可裂正则带骨架的构造。     

正则模和V一模

Ｋａｐｌａｎｓｋｙ证明了可换环Ｒ是正则的当且仅当每个单Ｒ一模是内射的，这个结果推广到比较一般的环中可以证明，ｄｕｏ环Ｒ是正则的当且仅当每个单Ｒ－模是内射的。本文将此结果进一步推广到模中。     

正则Ehresmann型wrpp半群

定义了正则Ehresmann型wrpp半群,借助C-wrpp半群,左正则Ehresmann型wrpp半群和右正则Ehresmann型wrpp半群,给出了此类半群的若干刻画。