格值正则语言的代数性质

本文主要从可容集的角度研究了格值正则语言，给出了一个语言是格值正则语言的充要条件，并说明了格值正则语言关于商是封闭的．     

格值自动机与语言

引入了格值自动机及其语言的概念,给出了格值自动机的状态转移函数可扩充的充分必要条件,证明了确定型格值自动机与格值自动机等价的充分必要条件,研究了格值自动机的语言关于正则运算的封闭性及其条件.所得结论表明了格值自动机及其语言的特性与取值格代数性质的紧密联系.     

格值正则语言的逼近性质

文章主要在格半群L=[0,1]上研究了格值正则语言的逼近性质,从覆盖、拟正定等方面给出了格值正则语言可被正则语言逼近的充分或必要条件.     

上下文无关格值词语言研究

文章在格半群意义下，提出基于词计算的上下文无关格值文法，证明由其生成的格值词语言关于并与连接运算封闭，及其与乔姆斯基范式文法等价．     

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

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

基于完全剩余格值逻辑上的半群（I）

该文定义了基于完全剩余格值逻辑上的半群的概念，在此逻辑框架下，给出了半群中的子群、正则子半群和完全正则子半群的结构，并讨论了它们的某些代数性质。     

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

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

基于完全剩余格值逻辑上的半群（Ⅰ）

该文定义了基于完全剩余格值逻辑上的半群的概念．在此逻辑框架下，给出了半群中的子群、正则子半群和完全正则子半群的结构，并讨论了它们的某些代数性质     

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

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

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

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

(Q)格值模型论的紧致性定理

对的格值模型，取其论域Ａ的幂集Ｓ（Ａ）的一个子集ｑ及Ａ中一组元素，把（Ｑ）中公式Ｑｘ（ｘ，）在（，ｑ）中处的值定义为，则（，ｑ）就构成（Ｑ）的一个格值弱模型．本文对（Ｑ）的格值弱模型证明了紧性致定理。     

正则语言的可递归性

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

模式语言的本体学习方法

概括了模式语言的本体映射机制,讨论了如何将模式语言映射成一棵语法树,然后使用映射规则将语法树中的元素翻译为本体中相应的概念和关系,最后给出该方法的应用实例.     

两个初等等价的不同构的有限格值模型

在二值模型论中，２个初等等价的有限模型必定同构，但本文构作一个反例证明同样的结论在格值模型论中不成立，因而Ｋｅｉｓｌｅｒ－Ｓｈｅｌａｈ同构定理也不成立。     

交换Fuzzy正则语言注记

在探讨形式语言的交换性质的基础上,提出了AbelianFuzzy正则语言的概念,探讨了AbelianFuzzy正则语言在并、交和补算子下的封闭性,并得到了Fuzzy正则语言是半交换的的几个等价条件.由于Fuzzy正则语言的交换性质是形式语言之中一种较好的性质,对它的研究将有助于Fuzzy正则语言的机器实现.     

模糊树语言与模糊树文法的等价性

考虑采用正则表达式,有限自动机和文法来描述,提出了模糊树正则表达式的概念,得到了模糊树正则语言的可识别性,并证明了模糊树语言是正则的充分必要条件,这为进一步讨论模糊树自动机奠定了基础.     

格值命题逻辑系统LP(X)的语义归结方法

为提高格值逻辑系统中α-归结原理的效率,将语义归结思想和α-归结原理相结合,讨论了格值逻辑系统的α-语义归结方法,并得到了其可靠性和完备性,为基于格值逻辑的归结自动推理算法作了必要的准备。     

Fuzzy正则语言注记

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