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

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

格值正则语言的代数性质

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

格值自动机与语言

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

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

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

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

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

格值诱导空间的完全正则性

对一般的格值L,我们证明了:诱导空间是完全正则的,如果它的底空间是完全正则的.对适当的定义域L和值集I=[0,1]证明了:诱导空间是完全正则的,当且仅当它的底空间是完全正则的.     

一类拟总体列紧算子逼近的正则值

给出了关于算子T的拟总体列紧算子定义，讨论了这类算子逼近的正则值，得到了关于算子T的拟总体列紧算子列与其逼近算子正则值之间的关系。     

逼近4正则图的最小顶点覆盖问题的难解性(英文)

证明了逼近4正则图的最小顶点覆盖问题在某个常数因子内是计算难解的.相似地,对于5正则图、6正则图等的最小顶点覆盖问题,这个结论也成立.已知逼近3正则图的最小顶点覆盖问题在某个常数因子内是计算难解的,文章扩展了这个结果到4正则图情况,用K-归约证明这个结果,给出了一个从3正则图的最小顶点覆盖问题到4正则图的最小顶点覆盖问题的K-归约.     

基于完备剩余格值逻辑的下推自动机与上下文无关文法

引入了L-值下推自动机的概念,讨论了L-值下推自动机按2种不同方式所接受的语言类的等价性,并指出了它能识别L-值正则语言。利用广义的子集构造方法,证明了一般的L-值下推自动机与状态转移为分明函数且具有L-值终态的L-值下推自动机的等价性。通过此等价性,给出了L-值上下文无关语言的代数刻画和层次刻画,并证明了L-值上下文无关语言关于正则运算的封闭性。另外,提出了L-值上下文无关文法的概念,给出了与之等价的且带有经典开始符的L-值上下文无关文法。借此等价关系,讨论了L-值下推自动机与L-值上下文无关文法是等价的,并说明了在完备剩余格值逻辑意义下,可采用最左派生、最右派生、Chomsky范式或者Greibach范式中的任何一种来生成L-值上下文无关语言。     

广义Arcangeli方法在迭代TИХОНОВ正则化中的应用

应用广义Ａｒｃａｎｇｅｌｉ方法，讨论了迭代正则化方法的正则参数选取，给出逼近解的收敛速度估计．