最大乘积型Fuzzy文法与自动机

本文对提出的最大乘积型Ｆｕｚｚｙ文法与最大乘积型Ｆｕｚｚｙ自动机的关系作了详细讨论，得出了两个重要的结论。即：由给定的最大乘积型Ｆｕｚｚｙ正规文法可构造一个最大乘积型Ｆｕｚｚｙ自动机使得二者接受的语言集相同，反之亦然。从而达到自动识别语言的目的。     

模糊正则文法的逼近性

为了扩大现有研究的应用范围,基于max-min型模糊正则文法引入了max-*型模糊正则文法(其中*为特定t-模)的概念,讨论了max-*型模糊正则文法可以通过max-min型模糊正则文法在任意给定的逼近精度来逼近.研究表明,当t-模*满足一定的条件时,max-*型模糊正则文法与max-min型模糊正则文法在生成模糊语言能力方面是等价的.     

取值于赋值幺半群的加权上下文无关文法及其语言

上下文无关文法是一种表达能力较强的描述语言的方法,在本文中我们引入取值于赋值幺半群的加权上下文无关文法(WCFG)及其产生的加权上下文无关语言(WCFL)。讨论了加权上下文无关文法的加权Chomsky范式文法以及加权Greibach范式文法。证明了对于取值于柯西乘积赋值幺半群上的WCFG,存在与之等价的加权Chomsky范式文法、加权Greibach范式文法;进一步讨论了加权上下文无关文法及其产生的加权上下文无关语言的一些代数性质。     

模糊代数系统

引入模糊代数系统及其强解的概念,给出其特有性质.定义proper和V-proper模糊代数系统,并给出其解的一般表达形式.建立模糊代数系统与模糊上下文无关文法相互转化法则.最后得出结论:任一proper和V-proper模糊代数系统都存在唯一强解.模糊上下文无关文法生成的模糊语言和其对应的模糊代数系统的强解的某个分量是相等的.     

格值正则语言的性质

给出了格值正则文法与格值正则语言的定义.从文法的角度来研究语言的性质,讨论了格植正则语言关于正则运算的封闭性及其条件.     

Fuzzy 上下文无关语言的Chomsky定理

在关于Fuzzy上下文无关语言的已有成果基础上,进一步考虑简化Fuzzy上下文无关文法,提出用派生刻画Fuzzy上下文无关文法与语言的性质,得到了Fuzzy上下文无关语言的Chomsky定理,并利用Pumping引理来判别一个语言是否为上下文无关语言.     

L-fuzzy拓扑空间中的包含式正则分离性

本文首先在一般L-fuzzy拓扑空间中引入了包含式正则分离性的概念.其次将包含式正则分离性与点式正则分离性及正则分离性作了比较,讨论了它们之间的相互蕴含关系.最后说明了包含式正则分离性与包含式正规分离性及包含式完全正则分离性之间的协调性.     

关于若干函数类的多项式时间谱系(Ⅱ)

研究了4个关于函数的多项式时间谱系,讨论在这些谱系内部以及谱系之间不大可能有的关系,并给出这些函数类的完全问题。     

最大乘积型Fuzzy上下无关文法与下推自动机

在文献[1]的基础上,讨论了最大乘积型Fuzzy上下文无关文法与最大乘积型Fuzzy下推自动机的关系,即:由给定的最大乘积型Fuzzy上下文无关文法可构造一个最大乘积型Fuzzy下推自动机使得二者接受的语言集相同,反之亦然。从而达到自动识别语言的目的。     

直觉模糊正规子群与直觉模糊商群

在直觉模糊子群的基础上 ,引入直觉模糊正规子群与直觉模糊商群概念 ,并讨论了它们的一些性质 ,最后研究了群同态下 ,直觉模糊正规子群的对应关系     

Fuzzy蕴涵代数的MP理想与正规MP理想

在Fuzzy蕴涵代数(简称FI代数)上引入了MP理想与正规MP理想的概念并给出了它们的等价刻画;探讨了FI代数的MP理想、偏序理想和正规MP理想间的多种关系, 证明了一个正则FI代数是可交换FI代数当且仅当它的每个MP理想都是正规理想,也当且仅当{0}是正规MP理想.     

关于S-正则语言类的两点注记

文献[1]引入和研究了S-正则语言及其语言类的代数结构.本文作为对[1]的两点注记,讨论了S-正则语言类与语言的Chomsky层次之间的关系,以及上的等价关系≈.     

直觉模糊正规子群与直觉模型商群

在直觉模糊子群的基础上,引入直觉模糊正规子群与直觉模型商群概念,并讨论了它们的一些性质,最后研究了群同态下,直觉模糊正规子群的对应关系。     

Hilbert K-模上的广义框架变换和正交投影

本文引入了Hilbert K-模上的广义框架,广义框架变换和正交投影等概念,研究了广义标准正交基,广义(正规)紧框架(广义Bessel序列)的分解,得到了广义框架变换和正交投影之间的关系.     

强概率收缩对与概率赋范空间中非线性算子方程组的解

在Menger PN空间引入强概率收缩对的概念,并研究了具有强概率收缩对的非线性算子方程组解的存在性和唯一性.这些结果改进和推广了非Archimedean Menger PN空间中相应的结果.     

群上的软同余关系

引入了半群、群及软群上的软同余关系,并定义了半群上的软商集、群上的软陪集及软陪集下的软商集,讨论了半群上的软同余与同态、软同态之间的联系,同时得到群和软群上软同余的一系列相关结果,进一步揭示了软同余和正规化软群、正规软子群之间的关系。     

共轭置换、半正规与Sylow子群的极大子群

结合共轭置换与半正规的概念,研究了群G的Sylow子群的极大子群或共轭置换或半正规这一条件与群G的超可解性之间的关系.     

模糊软逆半群

本文将软集理论运用到逆半群上的模糊同余关系和模糊逆子半群上,引入了逆半群上模糊软逆半群和正规模糊软逆半群的概念,并研究了其性质。建立了逆半群上的模糊软同余和正规模糊软逆半群之间的联系。最后,通过模糊软集上的θ-水平截集对模糊软同余、模糊软逆半群和正规模糊软逆半群进行等价刻画。     

关于若干函数类的多项式时间谱系(Ⅰ)

对计数函数类#P,Span-P和最优化函数类Opt-P及FΔ₂^P进行了推广,给出了4个关于函数的多项式时间谱系,证明了关于最优化函数的多项式时间谱系,与Krentel定义的谱系是相同的,讨论了这些谱系自身以及谱系之间的关系。     

一种简单神经Mealy机的构造

构造一种新型神经Mealy机,神经Mealy机具有一定的学习能力,它主要通过学习来获得(von Newman)计算机结构,可以较好地避免普通计算机那样损毁一条电路就带来灾难性后果的情况.其本质是将递归神经网络通过BP优化算法,对Mealy机进行模拟得到,并通过实验对该网络的学习性能进行研究分析.基于形式文法和自动机的等价性,用神经网络来实现文法推导.先采用神经网络对样本集进行学习,这些样本可由一个经典Mealy机生成,然后从训练完的神经网络提取出自动机.