沈百英
- 作品数：14 被引量：16H指数：3
- 供职机构：华东理工大学信息科学与工程学院计算机科学与工程系更多>>
- 相关领域：理学自动化与计算机技术更多>>
- 自由ZYE_3代数
- 1991年
- 首先引入自由ZYE_3代数的概念,然后证明其存在性与唯一性,最后讨论自由ZYE_3代数的性质。
- 沈百英方朝臣郑恒武
- 关键词：自由代数同态象
- 关于正则语言的泵引理被引量：5
- 1994年
- 通常关于正则语言的泵引理，常被用来证明某些特殊的语言不是正则语言，但这种论证方法对有些非正则语言不能适用。本文介绍几个广义的泵引理，它们不仅可解决通常的泵引理所能解决的问题，也可解决通常泵引理不能解决的问题。
- 叶瑞芬沈百英
- 关键词：形式语言正则语言
- 零对称BZ-代数被引量：7
- 1997年
- 将原子及其分支的概念引入ＢＺ－代数。提出零对称ＢＺ－代数，得到若干重要特征性质。研究零对称ＢＺ－代数Ｘ关于其理想Ｎｚ（Ｘ）＝｛ｘ∈Ｘ｜０ｘ≤ｘ｝所作成的商代数Ｘ／Ｎｚ（Ｘ）的结构，证得Ｘ／Ｎｚ（Ｘ）≌｛ｙ｜ｙ＝（０ｘ）ｘ，ｘ∈Ｘ｝。
- 王永全韩良秀沈百英
- 关键词：BZ-代数零对称BZ-代数代数结构BCI代数
- 减法系统Ⅱ——BCY代数的各种加强系统
- 1991年
- 在各种BCY代数中引入新的二元运算“+”,得到了具“和”的各种BCY代数,使得减法系统有了更完全的发展。另外,我们对所得到的各个加强系统的字问题进行了研究,并获得了相应系统的Gentzen形判定系统,用它们可肯定地解决相应的字问题。
- 沈百英叶瑞芬
- 关键词：字问题
- 5阶BZ-代数
- 2003年
- 应用美国Wolfram公司的软件Mathematica4.0,通过编写计算机程序给出22个5阶真BZ-代数并进行了适当分类。这不仅对BZ-代数的进一步研究具有重要参考价值,而且将对相关代数系统的研究产生积极影响。
- 张小红王永全沈百英
- 关键词：BZ-代数BCI-代数MATHEMATICA代数系统计算机程序商代数
- 关于可换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代数。
- 叶瑞芬沈百英
- 关键词：等价类代数
- 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年
- 通常的关于正则语言的泵引理实际上是刻划了某语言为正则语言的一个必要条件．本文通过修改这个必要条件，得到了关于正则语言的充分必要条件，又泵引理或广义泵引理所叙述的结果作为推论而得到．另外，我们叙述了几个强弱不同的充要条件，以便供不同的使用（作为必要条件来使用，应该是越强越好，但作为充分条件来使用，又应该是越弱越好）．
- 叶瑞芬沈百英
- 关键词：形式语言正则语言
- ZYE3代数范畴
- 1994年
- 系统地讨论ＺＹＥ３代数的范畴理论，其中包括积、上积、纤维积、张量积、正向极限和逆向极限．证明了它们的存在性唯一性，且讨论了一些与之有关的性质。
- 沈百英方朝臣郑恒武
- 关键词：代数
