您的位置： 专家智库 > >

叶瑞芬

作品数：10 被引量：15H指数：3
供职机构：华东理工大学更多>>
相关领域：理学自动化与计算机技术更多>>

合作作者

文献类型

  • 10篇中文期刊文章

领域

  • 7篇理学
  • 3篇自动化与计算...

主题

  • 5篇代数
  • 3篇形式语言
  • 3篇BZ-代数
  • 2篇正则
  • 2篇正则语言
  • 1篇等价
  • 1篇等价类
  • 1篇定理
  • 1篇独立性
  • 1篇上下文
  • 1篇上下文无关语...
  • 1篇同态
  • 1篇同态定理
  • 1篇字问题
  • 1篇组合逻辑
  • 1篇公理
  • 1篇公理系统
  • 1篇BCI-代数
  • 1篇布尔代数

机构

  • 6篇华东理工大学
  • 4篇华东化工学院
  • 2篇汉中师范学院

作者

  • 10篇叶瑞芬
  • 6篇沈百英
  • 3篇张小红

传媒

  • 5篇华东化工学院...
  • 4篇华东理工大学...
  • 1篇软件学报

年份

  • 2篇1995
  • 3篇1994
  • 3篇1993
  • 1篇1992
  • 1篇1991
共 10 条 记 录，以下是 1-10
全选 清除 导出
排序方式：
关于正则语言的泵引理被引量：5
1994年
通常关于正则语言的泵引理，常被用来证明某些特殊的语言不是正则语言，但这种论证方法对有些非正则语言不能适用。本文介绍几个广义的泵引理，它们不仅可解决通常的泵引理所能解决的问题，也可解决通常泵引理不能解决的问题。
叶瑞芬沈百英
关键词：形式语言正则语言
BZ-代数的理想及其同态定理被引量：6
1993年
引入BZ-代数的理想概念,并证明了BZ-代数的同态基本定理。利用BZ-代数的BZ1-部分,证明了此BZ1-部分是子代数又是理想,且其商代数是群逆BZ-代数。最后给出BZ-代数的群逆理想的概念,借此给出BZ-代数成为群逆BZ-代数和商代数成为群逆BZ-代数的充要条件。
叶瑞芬张小红
关键词：同态定理BZ-代数
减法系统Ⅱ——BCY代数的各种加强系统
1991年
在各种BCY代数中引入新的二元运算“+”,得到了具“和”的各种BCY代数,使得减法系统有了更完全的发展。另外,我们对所得到的各个加强系统的字问题进行了研究,并获得了相应系统的Gentzen形判定系统,用它们可肯定地解决相应的字问题。
沈百英叶瑞芬
关键词：字问题
减法系统Ⅲ——各种BCY代数的等价类
1993年
在“减法系统Ⅰ”基础上,引入其它一些BCY代数并研究某些BGY代数的等价类(关于“=”),并证明了等价类的集合分别形成BCI代数、BCK代数或可换BCK代数。
叶瑞芬沈百英
关键词：等价类代数
论布尔代数的公理系统与公理的独立性
1992年
朱秉涛在文“关于布尔代数公理的独立性问题”中认为由Hunttngton E. V.提出的关于布尔代数的八条公理是相互独立的这一结论是错误的。本文将论证朱的这一结论是错误的,也即Huntington的关于布尔代数的八条公理的确是相互独立的。另外本文还提供关于布尔代数的其它两个公理系统,它们的各公理不但仍是相互独立的,且从某种意义上讲,它们比Huntington的优越。
叶瑞芬
关键词：代数布尔代数公理系统独立性
正则语言的特征性质被引量：6
1995年
通常的关于正则语言的泵引理实际上是刻划了某语言为正则语言的一个必要条件．本文通过修改这个必要条件，得到了关于正则语言的充分必要条件，又泵引理或广义泵引理所叙述的结果作为推论而得到．另外，我们叙述了几个强弱不同的充要条件，以便供不同的使用（作为必要条件来使用，应该是越强越好，但作为充分条件来使用，又应该是越弱越好）．
叶瑞芬沈百英
关键词：形式语言正则语言
上下文无关语言的广义泵引理
1994年
通常的关于上下文无关语言的泵引理，常被用来证明某些特殊的语言不是上下文无关的语言，但这种论证方法对有些非上下文无关语言不能适用，本文介绍的广义泵引理推广了通常的泵引理，并能解决通常的泵引理所不能解决的问题，它相比于Ｏｇｄｅｎ引理，未增加新的关于特指位置的概念。有些书上把泵引理中述及的条件，误认为是某语言成为上下文无关语言的充分条件，本文指出由此而引起的错误。
沈百英叶瑞芬
关键词：形式语言上下文无关语言
BZ-代数与群被引量：2
1993年
研完了BZ-代数的性质。通过引入群逆BZ-代数,使BZ-代数与群紧密联系起来,证明了如下重要结果:群逆BZ-代数与群一一对应;而任何BZ-代数到它的一个群逆BZ-代数上有一个满同态。
张小红叶瑞芬
关键词：BZ-代数BCI-代数
组合逻辑中的抽象运算Ⅱ
1994年
本文不以组合逻辑中具体的抽象运算为依据来研究λ－演算（λβ）与弱外延组合逻辑之间的定理等价，而是就一般的抽象运算讨论。还分别使用另外两个弱外延规则以代替（ξ＿ｃ）的角色，再研究相应的问题。
沈百英叶瑞芬
关键词：组合逻辑
BZ－代数与BZ1－代数的一些结果被引量：2
1995年
研究ＢＺ代数与ＢＺ１－代数的一些性质，其中有拟交错性、非零不相等元素的不可比较性、可交换性、拟正蕴涵性、正蕴涵性以及蕴涵性等．讨论了这些性质的相互关系．另外还讨论一类特殊的ＢＺ代数的构造，得到它的结构定理．
叶瑞芬张小红
关键词：代数BZ-代数
全选 清除 导出
共1页<1>
聚类工具0