沈百英
作品数： 14被引量：16H指数：3
  • 所属机构:华东理工大学信息科学与工程学院计算机科学与工程系
  • 所在地区:上海市
  • 研究方向:理学

相关作者

叶瑞芬
作品数：10被引量：15H指数：3
供职机构：华东理工大学
研究主题：形式语言 BZ-代数 代数 正则语言 同态定理
郑恒武
作品数：13被引量：7H指数：2
供职机构：曲阜师范大学
研究主题：半群 完全正则半群 同余 正则半群 代数
方朝臣
作品数：6被引量：3H指数：1
供职机构：曲阜师范大学
研究主题：代数 半群 I JACOBSON BE
孟杰
作品数：22被引量：27H指数：3
供职机构：西北大学
研究主题：BCK代数 BCK-代数 代数 BCI-代数 BCI代数
张小红
作品数：71被引量：158H指数：8
供职机构：宁波大学
研究主题：模糊逻辑 剩余格 滤子 代数 英文
作品列表
5阶BZ-代数
2003年
应用美国Wolfram公司的软件Mathematica4.0,通过编写计算机程序给出22个5阶真BZ-代数并进行了适当分类。这不仅对BZ-代数的进一步研究具有重要参考价值,而且将对相关代数系统的研究产生积极影响。
张小红王永全沈百英
关键词：BZ-代数BCI-代数MATHEMATICA代数系统计算机程序商代数
上下文无关语言的广义泵引理
1994年
通常的关于上下文无关语言的泵引理，常被用来证明某些特殊的语言不是上下文无关的语言，但这种论证方法对有些非上下文无关语言不能适用，本文介绍的广义泵引理推广了通常的泵引理，并能解决通常的泵引理所不能解决的问题，它相比于Ｏｇｄｅｎ引理，未增加新的关于特指位置的概念。有些书上把泵引理中述及的条件，误认为是某语言成为上下文无关语言的充分条件，本文指出由此而引起的错误。
沈百英叶瑞芬
关键词：形式语言上下文无关语言
关于可换BCK-代数的一点注记被引量：1
1989年
1980年Isèki,K.提出了这样的问题:具条件(C)的BCK-代数是否可换BCK-代数?1981年PaL'asinski,M.证明了具条件(C_1)的BCK-代数是可换BCK-代数。但又说:“条件C_1弱于条件C”,从而认为解决了Isèki的问题。本文指出上述说法是错误的,并解决了Isèki的问题,还提出了另外几个新的可换BCK-代数的系统。
沈百英
关键词：代数
减法系统Ⅲ——各种BCY代数的等价类
1993年
在“减法系统Ⅰ”基础上,引入其它一些BCY代数并研究某些BGY代数的等价类(关于“=”),并证明了等价类的集合分别形成BCI代数、BCK代数或可换BCK代数。
叶瑞芬沈百英
关键词：等价类代数
自由ZYE_3代数
1991年
首先引入自由ZYE_3代数的概念,然后证明其存在性与唯一性,最后讨论自由ZYE_3代数的性质。
沈百英方朝臣郑恒武
关键词：自由代数同态象
关于正则语言的泵引理被引量：5
1994年
通常关于正则语言的泵引理，常被用来证明某些特殊的语言不是正则语言，但这种论证方法对有些非正则语言不能适用。本文介绍几个广义的泵引理，它们不仅可解决通常的泵引理所能解决的问题，也可解决通常泵引理不能解决的问题。
叶瑞芬沈百英
关键词：形式语言正则语言
零对称BZ-代数被引量：7
1997年
将原子及其分支的概念引入ＢＺ－代数。提出零对称ＢＺ－代数，得到若干重要特征性质。研究零对称ＢＺ－代数Ｘ关于其理想Ｎｚ（Ｘ）＝｛ｘ∈Ｘ｜０ｘ≤ｘ｝所作成的商代数Ｘ／Ｎｚ（Ｘ）的结构，证得Ｘ／Ｎｚ（Ｘ）≌｛ｙ｜ｙ＝（０ｘ）ｘ，ｘ∈Ｘ｝。
王永全韩良秀沈百英
关键词：BZ-代数零对称BZ-代数代数结构BCI代数
减法系统Ⅱ——BCY代数的各种加强系统
1991年
在各种BCY代数中引入新的二元运算“+”,得到了具“和”的各种BCY代数,使得减法系统有了更完全的发展。另外,我们对所得到的各个加强系统的字问题进行了研究,并获得了相应系统的Gentzen形判定系统,用它们可肯定地解决相应的字问题。
沈百英叶瑞芬
关键词：字问题
ZY3代数的理想和同构定理
1989年
本文讨论了ZY3代数的理想,并证明了同构定理8,9和11。定理8。设X是ZY3代数。若A是X的一个理想,则有同态f,使得X(?)X/A。定理9。设X_1与X_2是ZY3代数,且X_2中的基本二元关系“≤”是一个偏序。若X_1(?)X_2,则X_1/Ker f≌X_2。定理11。设X是ZY3代数。若A,K是X的理想,A(?)K,则X/A≌X/K/A/K。
沈百英邵志清
关键词：代数同构定理
正则语言的特征性质被引量：6
1995年
通常的关于正则语言的泵引理实际上是刻划了某语言为正则语言的一个必要条件．本文通过修改这个必要条件，得到了关于正则语言的充分必要条件，又泵引理或广义泵引理所叙述的结果作为推论而得到．另外，我们叙述了几个强弱不同的充要条件，以便供不同的使用（作为必要条件来使用，应该是越强越好，但作为充分条件来使用，又应该是越弱越好）．
叶瑞芬沈百英
关键词：形式语言正则语言
加载更多 ∨